משפטי אי השלימות של גדל (Gödel)
מתוך Math-Wiki
גרסה מ־13:05, 12 באוקטובר 2011 מאת ארז שיינר (שיחה | תרומות) (יצירת דף עם התוכן "[http://en.wikipedia.org/wiki/First-order_logic לוגיקה מסדר ראשון] הינה שפת הבסיס של המתמטיקטים כפי שלמדנו בקור...")
לוגיקה מסדר ראשון הינה שפת הבסיס של המתמטיקטים כפי שלמדנו בקורס 88-101 חשיבה מתמטית.