Skolem Paradox
Cantor’s theorem says that every model of ZF theory must have cardinality greater than aleph-null. Lowenheim-Skolem theorem says that there is a model of ZF theory with cardinality aleph-null. This conflict between the two theorems is called Skolem Paradox.
IST provides a way out of this dilemma.