DESCRIPTION

Deduction of sufficient conditions and equivalent definitions

SUGGESTIONS

• Drawings and constructions
• Construct proof

DESCRIPTION

Rigor in foundations and interrelationships

Indirect proof and proof by contrapositive

SUGGESTIONS

• High abstraction level
• Rigorous formal proof
• Compare mathematical systems and non-Euclidean systems