השינוי האחרון נעשה בֹ־12 באוקטובר 2011 ב־13:05

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

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

(הבדל) → הגרסה הקודמת | הגרסה האחרונה (הבדל) | הגרסה הבאה ← (הבדל)

לוגיקה מסדר ראשון הינה שפת הבסיס של המתמטיקטים כפי שלמדנו בקורס 88-101 חשיבה מתמטית.