PROOF 59

Prove.

Removing the parallel postulate

On Euclid's axiom system.

Definition D1

Euclid builds plane geometry on five postulates.

Proof.

Related labs