תוכנית הילברט (Q968548)

מתוך Wikidata
קפיצה לניווט קפיצה לחיפוש
attempt to formalize all of mathematics, based on a finite set of axioms אנגלית
עריכה
שפה תווית תיאור ידוע גם בשם
עברית
תוכנית הילברט
לא הוגדר תיאור
    אנגלית
    Hilbert's program
    attempt to formalize all of mathematics, based on a finite set of axioms

      קביעוֹת

      מזהים

       
      עריכה
        עריכה
          עריכה
            עריכה
              עריכה
                עריכה
                  עריכה
                    עריכה