Skolemův paradox

Skolemův paradox, paradox axiomatické teorie množin: podle Skolemova-Löwenheimova teorému má každý bezesporný axiomatický systém teorie množin spočetný model, avšak z každého dnes známého axiomatického systému teorie množin lze zase prokázat existenci nespocetných množin.