billions must use type theory. total Zermelo–Fraenkel death.

combinatorics>logic>complex and real analysis>topology>algebra>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>geometry (excl. projective)