გოდელის არასრულობის თეორემები – სხვა ენები