Skip to content
Better HN
Top
Best
Ask
Show
New
Jobs
Search
⌘K
0 points
srean
6y ago
0 comments
Save
Share
For arithmetic properties and definitions do you suggest tracing them right to Peano axioms ?
0 comments
1 comments · 1 top-level
top
newest
oldest
mcphage
6y 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