fakt logiki matematycznej i teorii mnogości
Paradoks Skolema – pozorna sprzeczność dotycząca teorii mnogości wynikająca z twierdzenia Löwenheima-Skolema. Jego autorem jest norweski logik Thoralf Skolem.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).