Foundations of mathematics is the study of the philosophical and logical and/or algorithmic basis of mathematics, or, in a broader sense, the mathematical...

the Foundations of Mathematics (German: Bemerkungen über die Grundlagen der Mathematik) is a book of Ludwig Wittgenstein's notes on the philosophy of mathematics...

The philosophy of mathematics is the branch of philosophy that studies the assumptions, foundations, and implications of mathematics. It aims to understand...

include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics. Since its inception, mathematical logic has...

In mathematics, and particularly in set theory, category theory, type theory, and the foundations of mathematics, a universe is a collection that contains...

Univalent foundations are an approach to the foundations of mathematics in which mathematical structures are built out of objects called types. Types...

In mathematics, a function from a set X to a set Y assigns to each element of X exactly one element of Y. The set X is called the domain of the function...

ISBN 9780821847619. Mayberry, John P. (2000), The Foundations of Mathematics in the Theory of Sets, Encyclopedia of Mathematics and its Applications, vol. 82, Cambridge...

In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types...

modern mathematics. Indeed, set theory, more specifically Zermelo–Fraenkel set theory, has been the standard way to provide rigorous foundations for all...