La "Mathematics Subject Classification" divide la lógica matemática en las siguientes áreas: