Some Axioms for Mathematics

DOI10.4230/LIPICS.FSCD.2021.20OpenAlexW3184538962MaRDI QIDQ6159937FDOQ6159937

Authors: Frédéric Blanqui, Gilles Dowek, Emilie Grienenberger 

Publication date: 23 June 2023

Full work available at URL: https://hal.inria.fr/hal-03279749

Recommendations

• Axioms in mathematical practice
• Axiomatic (and non-axiomatic) mathematics
• scientific article
• The role of axioms in mathematics
• The number of axioms
• scientific article

zbMATH Keywords

dependent typesrewritinglogical frameworkaxiomatic theoryinteroperabilty

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx) Computer science (68-XX)

Cited In (5)

• The role of axioms in mathematics
• From the universality of mathematical truth to the interoperability of proof systems
• Axioms of infinity as the starting point for rigorous mathematics.
• Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation
• A modular construction of type theories

This page was built for publication: Some Axioms for Mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6159937)