משתמש:Orcc/ארגז חול/משפטי האי-שלימות של גדל
סקיצה להוכחת משפטי האי-שלימות של גדל
עריכההערה: נכתב על-פי התרגום לאנגלית של On formally undecidable propositions of Principia Mathematica and related systems I - Kurt Godel
הערה: נכתב על-פי התרגום לאנגלית של On formally undecidable propositions of Principia Mathematica and related systems I - Kurt Godel