I begyndelsen af 1900-tallet blev den udformet af [[David Hilbert]]s [[Hilberts program|program]] til bevisførelse for konsistensen af grundlagsteorier. Resultater fra [[Kurt Gödel]], [[Gerhard Gentzen]] og andre, gav delvise løsninger til programmet, og klargjorde udfordringerne som indgik i at bevise konsistensen. Arbejdet i mængdelære viste, at næsten alle ordinære matematikker kan formaliseres med brug af termer for sæt, selv om der er teoremer, der ikke kan bevises i almindelige aksiomsystemer for mængdelære. Nuværende arbejde i grundlagsmatematik fokuserer ofte på, at fastslå hvilke dele af matematikken, der kan formaliseres i partikulære formelle systemer, frem for at forsøge at nå frem til teorier, hvori al matematik kan udvikles fra.
Filosofi Religion Matematik