Mathematical Sciences Classification System
20Axx - Foundations
-
20A05Axiomatics and elementary properties
-
20A10Metamathematical considerations {For word problems, see 20F10}
-
20A15Applications of logic to group theory
-
20A99None of the above, but in this section