שינויים

משפטי אי השלימות של גדל (Gödel)

נוספו 201 בתים, 13:05, 12 באוקטובר 2011
יצירת דף עם התוכן "[http://en.wikipedia.org/wiki/First-order_logic לוגיקה מסדר ראשון] הינה שפת הבסיס של המתמטיקטים כפי שלמדנו בקור..."
[http://en.wikipedia.org/wiki/First-order_logic לוגיקה מסדר ראשון] הינה שפת הבסיס של המתמטיקטים כפי שלמדנו בקורס [[88-101 חשיבה מתמטית]].