AはAに属さない（要素としては扱えない）
ということを公理にするための話なんですね
ほんの少し掴めそうな気がしてきました