Metadata
Author: WikiMatrix
Data
French[fr]
La formulation logique des mathématiques pures suggérée par Bertrand Russell semblait de plus en plus plausible, puisque de grandes parties des mathématiques se sont axiomatisée et se sont donc soumis à des critères de démonstration rigoureuse.
Hebrew[he]
הניסוח הלוגי של המתמטיקה הטהורה שהוצע על ידי ברטראנד ראסל באמצעים של מבנה כימות של טענות לוגיות נראה יותר ויותר בר תוקף, שכן חלקים נרחבים של המתמטיקה יוצגו בעזרת המערכת האקסיומטית מה שהקל את המשימה למציאת קריטריונים להוכחה ריגורוזית.