Kategorie:Theorie der erststufigen Peano-Arithmetik

Diese Kategorie ist eine mathematische Theorie-Kategorie.