תורת הטיפוסים – הבדלי גרסאות

שיטה זו אמנם מאפשרת פיתוח סביר של יסודות המתמטיקה, אבל החלוקה לטיפוסים קשיחה מדי, והגישה לא התקבלה על דעתם של רוב הלוגיקנים.

[[קטגוריה:לוגיקה מתמטית]]

 

{{נ}}