暇つぶし2chat MATH

- 暇つぶし2ch944:１３２人目の素数さん
25/11/02 11:34:07.65 PdOpFRcN.net
型理論では
ラッセルのパラドックスを回避すべく
∈の左右を厳密に区別しますので
x∈xはそもそも論理式にしません