استقراء رياضي - لغات أخرى