Anfonwch hwn fel neges destun: Undecidable theories /