Podstawy matematyki definiujš język matematyki, sposoby przeprowadzania dowodów matematycznych, metody budowania jej struktur i teorii oraz okrelajš własnoci jej podstawowych obiektów, takich jak zbiór. Logika ogólna Teoria modeli Teoria obliczeń i teoria rekursji Teoria mnogoci Teoria dowodu, matematyka konstruktywna, metamatematyka Logika algebraiczna Niestandardowe modele
kf.mtsw