Keywords: matematika, teorija množic, aksiom izbire, konstruktibilni univerzum, ordinalna števila, Gödelove operacije, opredeljivostFull text (file, 458,06 KB)