foundational work in mathematics
C3329
concept
Foundational work in mathematics comprises the theories, principles, and formal systems that rigorously define mathematical objects and reasoning, providing a secure logical basis for all mathematical disciplines.
Observed surface forms (4)
- foundational system for mathematics ×2
- foundational program in mathematics ×1
- foundational system for arithmetic ×1
- foundational text in geometry ×1
Instances (6)
- Zermelo–Fraenkel set theory via concept surface "foundational system for mathematics"
- Frege’s system in "Grundgesetze der Arithmetik" via concept surface "foundational system for arithmetic"
- Principia Mathematica
- Hilbert’s program via concept surface "foundational program in mathematics"
- Über die Hypothesen, welche der Geometrie zu Grunde liegen via concept surface "foundational text in geometry"
- Morse–Kelley set theory by class–set distinction via concept surface "foundational system for mathematics"