>>66-67
>じゃ、二階論理で真なる命題のすべてを証明できるか、
>といえば、そんな手続きは存在しない

だからの 圏論
2-category じゃね？ 望月先生は（下記）ｗ　；ｐ）

(参考)
https://www.kurims.kyoto-u.ac.jp/~motizuki/papers-japanese.html
https://www.kurims.kyoto-u.ac.jp/~motizuki/Anabelioid%20no%20kikagaku%20to%20Teichmuller%20riron%20(Muroran%202002-08).pdf
[4] Anabelioidの幾何学とTeichmuller理論 2002年
Ｐ2
次に、anabelioid Χ = B(G)に対して、「Χ上エタールなanabelioid全体の成す圏」
Et(Χ)
を扱いたいが、厳密にいうと、このEt(Χ)は、1-catcgoryではなく、2-categoryに
なってしまう。

https://en.wikipedia.org/wiki/Higher_category_theory
Higher category theory