Matemaatiline loogika – teised keeled