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

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