Thoralf Skolem (1922): Teorema Löwenheim-Skolem menyatakan setiap teori yang konsisten memiliki model countable. Namun teori himpunan Zermelo-Fraenkel membuktikan eksistensi himpunan tak countable (seperti bilangan real). Bagaimana teori yang membuktikan objek tak countable bisa dipenuhi oleh model countable?
Resolusinya: countability adalah konsep relatif. Dari dalam model, tidak ada bijeksi antara himpunan dengan bilangan asli — tapi dari luar model, bijeksi itu ada. Ini menunjukkan keterbatasan fundamental logika first-order: tidak bisa menangkap konsep "tak countable" secara absolut. Skolem menyebut ini "relativisme" dalam matematika.
← Kembali ke Daftar Paradoks