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.