proof.garden
plant an axiom, grow a theorem.
prove: “socrates is mortal”
available axioms — tap to select, then tap a slot
↓
conclusion
what you'll explore
- • proof as a way of knowing — why mathematicians don't just check examples
- • logical deduction — building certainty one step at a time
- • induction vs deduction — climbing infinite ladders with finite effort