数学は集合論で全部できる
数学は論理学で全部できる
数学は圏論で全部できる
あと何でもイイヤ
全部展開できたからって
それで何が出てくるのかって話
使い古された言葉だけど
abstract nonsenseにならない方が
キモチイイと思うけどね