Axiomatic Method for Corollary: Diophantine Equations of Congruences Have a Finite Number Of Solutions [8160]

Underlying Axioms

Logical Predecessors

Logical Successors

OK