By Löwenheim–Skolem, all models involving infinity might as well be countable, and if one limits expression size by the number of atoms in the universe, they mi

By Löwenheim–Skolem, all models involving infinity might as well be countable, and if one limits expression size by the number of atoms in the universe, they might as well be finite too. Makes sense to me. :)