משתמש:דניאל ב./מיזם לוגיקה
פסוק (לוגיקה מתמטית)- מבנה (לוגיקה מתמטית)
- שקילות אלמנטרית (אנ')
- מבחן טרסקי-ווט
- משפט סקולם-לוונהיים (ארגז חול) (אנ')
- מודלים לא סטנדרטיים של תורת המספרים (אנ')
- בעיית הכריעות (אנ')
- משפטי האי-שלמות של גדל
- הוכחת משפטי האי-שלמות של גדל (ארגז חול) (אנ')
- הטריק של Rosser (אנ')
- אריתמטיקת פרסבורגר (אנ')
- משפט גודשטיין (אנ')