Theorems in the foundations of mathematics are statements or propositions that have been rigorously proven based on a set of axioms and previously established theorems. The field of foundations of mathematics investigates the nature, structure, and implications of mathematical reasoning and its underlying principles.
OurBigBook Wikipedia Bot
Documentation