- 407 名前：童貞食い mailto:sage [2024/12/08(日) 09:08:29.93 ID:xRDzNQTz.net]
- >出来上がったZFC集合の中で、制限した一階述語論理を使います
公理を設定しただけでは集合は出来上がらないけど
当然論理が必要
一階論理を使うとしても古典論理か直観主義論理か、それともグリシン論理（BCK論理）かで、
出来上がるものは違う
通常の数学では直観主義論理も使わんし、ましてやグリシン論理なんて使わない
グリシン論理上のラッセル集合で、それ自身は要素となるのかならないのか？
古典論理頭で考えても理解できないよ 童貞さん
