数学=ZFC+圏論
じゃないの?