== ترميز غودل Gödel code ==في الرياضيات، كان ترميز غودل الأساس لإثبات مبرهنات غودل في عدم الاكتمال incompleteness theorem .
===Gödel code===In mathematics, a Gödel code was the basis for the proof of Gödel's incompleteness theorem.