>>207

数学のほぼ全領域を形式化するのに十分な表現力を持っているのは集合論であって一階述語論理ではない。
ほとんどの数学理論は集合の量化を表現できることを要するので一階述語論理では表現できない。
　↓
数学のほぼ全領域を形式化するのに十分な表現力を持っているのは圏論であって一階述語論理ではない。
21世紀のほとんどの数学理論は集合の量化を表現できることを要するので一階述語論理では表現できない。

とすれば
正しい気がする・・