löwenheim-skolem is so wild imo. like, what do you mean i can get an elementary submodel that contains everything i need AND is countable??
(＾ｰ^)
- they/it/any
en/de
24
amateur math student
professional slash shipper and shitchoster
average math/programming/game dev enjoyer
proud parent of @JWST-live
asks always welcome :3
mutuals, feel free to dm on discord
might reblog light nsfw, be warned
itch.io
greytdepression.itch.io/You must log in to comment.
in reply to @greytdepression's post:
Skolems paradox is my favorite math fact! It made countability make no sense to me anymore once i understood it...
But I'm always mad Löwenhein gets to be first in the name, when he only proved the "upwards" (i.e. not interesting) part....