Metamathematics

Metamathematics je matematika studovala matematiku. To bylo původně rozlišeno od obyčejné matematiky v 19. století k zájmu o co byl pak volal problém základů v matematice.

Důležité větve zahrnují teorii důkazu, modelovou teoriia formální logiku. Originální význam David Hilbert je nejblíže k teorii důkazu.

Mnoho záležitostí pozorovat založení matematiky (tam je už ne nutně považován za některého jeden “problém”) a filozofie matematiky dotknout se nebo použít nápady od metamathematics. Funkční předpoklad metamathematics je ten matematický obsah může být zachycen na formálním systému.

Na druhé straně, kvazi-empirismus v matematice, poznávací věda matematiky, a ethno-kulturní studie matematiky, který zájem o vědeckou metodu, kvazi-empirické metody nebo jiné empirické metody studovaly matematiku a matematickou praxi kterými takovými nápady stát se přijímaný, non-matematické způsoby, jak studovat matematiku.