Teoremoj de nekompleteco - Aliaj lingvoj