Virtually all mathematical theorems today can be formulated as theorems of set theory.
Практично сите математички теореми денес можат да се формулираат како теореми на теоријата на множествата.