משתמש:Orcc/ארגז חול/משפטי האי-שלימות של גדל

סקיצה להוכחת משפטי האי-שלימות של גדל

הערה: נכתב על-פי התרגום לאנגלית של On formally undecidable propositions of Principia Mathematica and related systems I - Kurt Godel