volba axiomu je nezávislá na korpusu jiných axiomů teorie Zermelo – Fraenkelovy množiny