Մաթեմատիկական ինդուկցիա - Այլ լեզուներ