>>45
このページにある注意があなたに当てはまりそう
集合を対象にしないなんて俺は一言も言っていないからね
”禁止公理”はメタレベルの集合論の枠組みで記述されるものであり、オブジェクトレベルの公理系では表現できない

http://taurus.ics.nara-wu.ac.jp/staff/kamo/shohyo/logic-1.html

> 数理論理学を学ぶために最低限必要なセンスが三つある。
> シンタックスとセマンティクスが区別できること
> オブジェクトレベルとメタレベルが区別できること
> シンタックスとセマンティクスの区別と、オブジェクトレベルとメタレベルの区別が、区別できること
> このセンスがないと、数理論理学がそもそも何を対象としているかすら理解できなくなる。