マジレスすると数学は100年前に既に統一されてる
ZFC集合論っていうんですが