以前、論理はすべて集合で表現できると思っていた。抽象化はより大きな集合概念で表現できるし、具象化はより小さな集合概念で表現できる。例えばイヌならば抽象化した哺乳類、イヌの具象化した集合としてポチが表現できる。つまり哺乳類⊃イヌ⊃ポチとなる。
ところが純粋な論理体系である数学を集合で表現できないこと…
もっと詳しく