数理論理学（数学基礎論）　その14

312 ：１３２人目の素数さん：2021/05/20(木) 13:30:51.92 ID:sYQDoXm5.net

>>308
A⊂x の定義次第だが
A⊂x → ∀a∈A [ a∈x ] → A∈2^x じゃねーの？