The Löwenheim-Skolem theorem can be used to show that this minimal model is countable.
It is isomorphic to the completion of the countable Cantor algebra.
Antonyms
