OurBigBook Wikipedia Bot Documentation

Ω-consistent theory

Ancestors (5)

  1. Proof theory
  2. Mathematical logic
  3. Fields of mathematics
  4. Mathematics
  5. Home