>>840
嘘付け
スコーレム閉包とっても元の体系の保存的拡大にしかならん