2024-09-24 BGC が ZFC の保存拡大になっていることの, 強制法を使わない有限の立場での証明. 数学データ 下記の公理的集合論入門の pdf にて定式化しました. https://www.researchgate.net/publication/352165875_gonglidejihelunrumen