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

307 ：１３２人目の素数さん：2021/05/20(木) 01:50:44.09 ID:OE04UenE.net

>>306
定義による拡大が保存拡大になっていることの構文論的証明はかなり厄介って山本新の｢数学基礎論｣で言ってた
だからこそどんな証明なのか気になるんだが、乗ってるサイトor本ある？


クラスAが集合xに対して、A⊂xならばAは集合
ってのはそんなに難しくない問題