Fun reddit thread about 'Junk Theorems'; mathematical statements that are only true because of the way we encode them in terms of set theory.

For example, 'An element of an integer is a topolgical space if and only if that integer is the graph of the successor function'.

https://www.reddit.com/r/math/comments/xkie6e/side_effects_in_set_theory/