無限に付いて語る。実無限VS可能無限

>>220
最近てあんた・・・
直観主義モデルの研究はずっと続いてるよ。
様相論理との関係も調べられてるし。