Not to be confused with kindergarten and other education in the early cognitive development of the individual student, the logical foundations of mathematics includes, for example, rigorous proof that a given mathematical statement cannot be deduced from some given axioms. The history of foundations included efforts to prove consistency of axioms with each other, but now it is recognized some assumption about consistency is usually needed.

There is no tag wiki for this tag … yet!

Tag wikis help introduce newcomers to the tag. They contain an overview of the topic defined by the tag, along with guidelines on its usage.

All registered users may propose new tag wikis.

(Note that if you have less than 4000 reputation, your tag wiki will be peer reviewed before it is published.)