Evet, vardır.
Çok çılgın şeyler gerçek olabilir: Kanatları olan, poposundan gökkuşağı fışkırtan, tek boynuzu olan, kafası aslan arkası ayı ayakları at şeklinde olan bir varlık, ne kadar absürt ve imkansız gözükse de mümkündür. 2+2=5 mümkündür; çünkü bu tür bir sistem tanımlayabiliriz (veya lise matematiğindeki mod kavramından bileceğiniz üzere, mesela mod 7'de 9+9=4'tür). Bunlar imkansız değildir.
Ama matematik ve mantık, bazı imkansızlıkları tanımlamamızı sağlar: "3 kenarlı kare" mümkün değildir mesela. "Bekar evliler" de yoktur - ve olamaz da. Bunlar semantik şeyler gibi geliyorsa şunu deneyin: Her bir yüzü eşit büyüklükte ve şekilde (eşleşik) olan, her bir köşesine eşit sayıda kenarın dokunduğu, 21 veya üzeri sayıda yüzü olan düzgün bir poligon imkansızdır. Burada tanımladığım şey Platonik Katı dediğimiz bir geometri ve bu katılardan sadece ve sadece 5 tane var ve (bildiğimiz kadarıyla, başka matematiklere sahip başka evrenler olsaydı bile) daha fazla sayıda olamaz:
Tabii imkansızlık sınırını nereye çektiğinize bağlı olarak bu imkansızlıkların sayısını çok daha fazla artırmak mümkün. Mesela şu anda içinde bulunduğumuz Evren, var olan ve var olabilecek tek evren ise, o zaman devridaim makinaları (termodinamiğin 2. yasasını ihlâl ettiği için) imkansızdır. Işık hızını aşmak (nedensellik gibi mantık yasalarını ve özel görelilik teorisini ihlâl ettiği için) imkansızdır. Şu anda "doğa yasası" olarak tanımladığımız herhangi bir şeyi ihlâl edebilen her şey imkansızdır.
