danej teorii.
Historia Pierwszym uczonym postulującym stosowanie aksjomatycznej budowy teorii matematycznych był Platon. Pierwszą prawdziwą aksjomatyką było pięć aksjomatów Euklidesa podanych w Elementach.
Podwaliny teorii modeli i tym samym nowe ujęcie logiki matematycznej położyli w latach 30. XX wieku Alfred Tarski i Kurt Gödel.
Zobacz też a priori paradygmat
Przypisy
Bibliografia