Poznat základy axiomatické teorie množin jako základu a nástroje celé matematiky.