undefined | Better HN

0 pointssrean6y ago0 comments

For arithmetic properties and definitions do you suggest tracing them right to Peano axioms ?

0 comments

If the page had arithmetic structures, then obviously yes. Groups don’t include those properties, which is why they are not listed, and that is a very important distinction.

j / k navigate · click thread line to collapse

0 pointssrean6y ago0 comments

For arithmetic properties and definitions do you suggest tracing them right to Peano axioms ?

0 comments

mcphage6y ago

If the page had arithmetic structures, then obviously yes. Groups don’t include those properties, which is why they are not listed, and that is a very important distinction.

j / k navigate · click thread line to collapse