Underlying Axioms

• ...no axioms

Logical Predecessors

• no proofs found yet in BookofProofs. Please help us to improve our catalogue by adding a proof!

Logical Successors

• Theorems:
  • 8160: Diophantine Equations of Congruences Have a Finite Number Of Solutions