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