De traductores profesionales, empresas, páginas web y repositorios de traducción de libre uso.
===gödel code===in mathematics, a gödel code was the basis for the proof of gödel's incompleteness theorem.
== ترميز غودل gödel code ==في الرياضيات، كان ترميز غودل الأساس لإثبات مبرهنات غودل في عدم الاكتمال incompleteness theorem .
* van heijenoort, j., "from frege to gödel, a source book in mathematical logic, 1879-1931", harvard university press, cambridge, ma, 1967.
* van heijenoort, j., "from frege to gödel, a source book in mathematical logic, 1879-1931", harvard university press, cambridge, ma, 1967.