this post was submitted on 01 Oct 2025
399 points (98.3% liked)
Science Memes
16948 readers
1914 users here now
Welcome to c/science_memes @ Mander.xyz!
A place for majestic STEMLORD peacocking, as well as memes about the realities of working in a lab.
Rules
- Don't throw mud. Behave like an intellectual and remember the human.
- Keep it rooted (on topic).
- No spam.
- Infographics welcome, get schooled.
This is a science community. We use the Dawkins definition of meme.
Research Committee
Other Mander Communities
Science and Research
Biology and Life Sciences
- !abiogenesis@mander.xyz
- !animal-behavior@mander.xyz
- !anthropology@mander.xyz
- !arachnology@mander.xyz
- !balconygardening@slrpnk.net
- !biodiversity@mander.xyz
- !biology@mander.xyz
- !biophysics@mander.xyz
- !botany@mander.xyz
- !ecology@mander.xyz
- !entomology@mander.xyz
- !fermentation@mander.xyz
- !herpetology@mander.xyz
- !houseplants@mander.xyz
- !medicine@mander.xyz
- !microscopy@mander.xyz
- !mycology@mander.xyz
- !nudibranchs@mander.xyz
- !nutrition@mander.xyz
- !palaeoecology@mander.xyz
- !palaeontology@mander.xyz
- !photosynthesis@mander.xyz
- !plantid@mander.xyz
- !plants@mander.xyz
- !reptiles and amphibians@mander.xyz
Physical Sciences
- !astronomy@mander.xyz
- !chemistry@mander.xyz
- !earthscience@mander.xyz
- !geography@mander.xyz
- !geospatial@mander.xyz
- !nuclear@mander.xyz
- !physics@mander.xyz
- !quantum-computing@mander.xyz
- !spectroscopy@mander.xyz
Humanities and Social Sciences
Practical and Applied Sciences
- !exercise-and sports-science@mander.xyz
- !gardening@mander.xyz
- !self sufficiency@mander.xyz
- !soilscience@slrpnk.net
- !terrariums@mander.xyz
- !timelapse@mander.xyz
Memes
Miscellaneous
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
But I am not taking about an amount of different things, but a parallel or branching number line being part of the set of natural numbers.
I am not talking about modular arithmetic on its own, but as part of the set of natural numbers.
Under the missing axioms those constructs would be part of the natural numbers, including an
xin N such thats(x)=xand thereforex+1=x. While some might think this implies0=1, it doesn't, because we don't have the axiom of induction, an thus can't provea+c=b+c => a=b.The usefulness of such a system questionable but it certainly doesn't describe the natural numbers as we understand them.
I apologize. I went back and reread from the top and I see my error.
My mobile Lemmy client indicates replies with cycling colors, and I had the misunderstanding that your objection was to the axioms presented in Principia Mathematica. But your reply was fair in the context of the axioms you were actually replying to.
While it was probably not the best use of our time, it certainly made me think about relations and algebra in more interesting ways than the last uni course did.
I've had this asserted before, but I'm not sure it lives up to the mathematical rigor of our conversation to this point. I recommend substantially more investigation. 😉