Osnove matematike

Iz MaFiRaWiki

Ta članek ali del članka je v delu. Veseli bomo, če ga boste dopolnili in popravili.

Kaj pomeni to opozorilo?

Osnove matematike je veja matematike, ki se ukvarja z logičnimi in drugimi osnovnimi pojmi, iz katerih izhajajo ostale veje matematike. Med osnove matematike običajno prištevamo logiko, teorijo tipov, teorijo množic in teorijo kategorij.

Začetniki sodobnih osnov matematike so Giuseppe Peano, Gottlob Frege in Bertrand Russell.

Osebna orodja