[deleted] comments on Proofs, Implications, and Models

[[deleted]]

Number of apples isn’t closed under taking.

If you wish to satisfy the ring axioms from scratch, you must first invent the economy...