at://
/
app.bsky.feed.post
/
3moctlbd23k25
sign in
All
4
Record
2
Post
1
PostEmbed
1
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
we should call non-standard models of peano arithmetic 'big naturals'. you'll be happy to hear that the löwenheim-skolem theorem posits the existence of arbitrarily big naturals.