Küçük bir model sonsuz kümeleri anlayabilir mi?

Löwenheim-Skolem teoremi şaşırtıcı bir gerçeği ortaya koyar. Gerçek sayılar gibi sonsuz yapıları tanımlayan her matematiksel teori, daha küçük, sayılabilir bir modele de sahiptir. Bu, sayılamaz kümelerin varlığını kanıtlayan teorilerin bile sayılabilir modellerle temsil edilebileceği anlamına gelir. Bu durum Skolem paradoksuna yol açar. Sayılabilir bir model, sayılamaz sonsuzlukları nasıl 'bilebilir'? Cevap görecelilikte yatar. Modelin içinde sayılamaz olan, dışarıdan sayılabilir görünür. Bu, matematiksel gerçeğin modele göreceli olabileceğini vurgular. Bu, boyut ve sonsuzluk hakkındaki mutlak fikirlerimize meydan okur.