Czym zajmuje się KAMIENIARSTWO ?
Temat: Konrado5
...na późniejsze prace.
* 1899: David Hilbert podaje pierwsze, formalnie poprawne, aksjomatyczne ujęcie geometrii klasycznej, właściwie ją formalizując i podając 21 aksjomatów[2].
* 1908: Ernst Zermelo przedstawia pierwszą próbę aksjomatyzacji teorii mnogości.[3] Lista aksjomatów zaproponowana przez Zermelo została niezależnie poprawiona przez Thoralfa Skolema i Abrahama Fraenkela około roku 1922. Dzisiaj aksjomaty te, znane jako aksjomaty Zermelo-Fraenkela, są powszechnie akceptowaną podstawą teorii mnogości i całej matematyki.
* 1910-1913: Bertrand Russell i Alfred North Whitehead pracują nad formalizacją matematyki i logiki zawierając swoje wyniki w trzytomowej monografii Principia Mathematica.
* 1929: austriacki matematyk Kurt GĂśdel dowodzi w swojej rozprawie doktorskiej, że każda niesprzeczna teoria pierwszego rzędu ma model (twierdzenie GĂśdla o...
Źródło: sfinia.fora.pl/a/a,4489.html
