Axiomatic Method for Definition: Divisor, Complementary Divisor, Multiple [700]

Underlying Axioms

Logical Predecessors

Logical Successors

OK