Comment on Proofs, Implications, and Models

Mon, 29 Oct 2012 20:26:01 GMT

Nor is it obvious how multiplication of apples should work. Apples might be considered an infinite cyclic abelian monoid, if you like, but it's beside the point - the point is that once you know what axioms they satisfy, you now know a whole bunch of stuff.

Discuss