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