... אינה כוללת את כלל השלישי מן הנמנע (החוק שאומר שדבר חייב להיות אמת או שקר, ושאין אפשרות אחרת), ולפיכך היא אינה
מסכימה עם הוכחה בדרך השלילה. אקסיומת הבחירה נדחית אף היא. עבודה חשובה נעשתה לאחר מכן על ידי ארנד הייטינג, שהיה תלמידו של ברואר, שניסח באופן פורמאלי את הלוגיקה ... זו רואה את המתמטיקה בעיקר כהבניה חברתית, כתוצר של התרבות, שניתן לשינוי ולתיקון. כמו במדעים האחרים, המתמטיקה היא
הסכמה בין אנשים, וניתן לשנות אותה אם היא אינה עונה על צורכי הקבוצה. הכיוון של המחקר המתמטי נקבע בידי ההשקפות של הקבוצה החברתית שעוסקת בו, תכונותיה (למשל, האם ...