Axiom Výběru -- 13. Esence Teorie Množin