ParentFull threadjoel_ms·How would a proof by induction work with only two natural numbers?View on HN