Mathematical logic and mathematical foundation A: deductive logic (also called symbolic logic) B: proof theory (also called meta-mathematics) C: recursion theory D: model theory E: axiomatic set theory F: mathematical foundation G: mathematical logic and other disciplines.

3. Number theory

A: Elementary number theory B: Analytic number theory C: Algebraic number theory D: Transcendental number theory E: Diophantine approximation F: Geometry of numbers G: Probability theory H: Computational number theory I: Number theory Other disciplines