Some Axioms for Mathematics

DOI10.4230/LIPICS.FSCD.2021.20MaRDI QIDQ6159937zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

dependent typesrewritinglogical frameworkaxiomatic theoryinteroperabilty

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(5)

• Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation
• 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.
• 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)