数学基礎論・数理論理学　その18 [無断転載禁止]©2ch.net

>>414
>>410
>>407
>>402
論理式
A→B

A:= { x | ¬(x ∈ x) }
B:= { y | ¬(y ∈ y) }