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