Math on Undefined Behaviourhttps://undefinedbehaviour.xyz/tags/math/Recent content in Math on Undefined BehaviourHugoenSun, 24 May 2026 00:00:00 +0000We can't know how big the real numbers arehttps://undefinedbehaviour.xyz/post/modeltheory/Sun, 24 May 2026 00:00:00 +0000https://undefinedbehaviour.xyz/post/modeltheory/Using a classic model theory theorem to show that some things are above our understanding