אינטואיציוניזם

אינטואיציוניזם אומר שמתמטיקה היא בנייה שעושים אנשים בראשם. אם לא ניתן לבנות דבר זה לא נחשב אמיתי במתמטיקה הזו. מייסד התנועה הוא ל.א.י. בראואר. גם הייטינג וקולמוגורוב עבדו על זה. האינטואיציוניסטים מייחסם חשיבות למספרים הטבעיים: 1,2,3,... מספרים אלה נתפסים כבסיס שאפשר לספור ממנו הלאה. "אמת" כאן אומר...