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