Login

Exploring Weather, Waves, and Weird Projects

⏳ Importing definable_real_number_definability_in_models_of_zfc from Wikipedia...