https://www.researchgate.net/publication/352165875_gonglidejihelunyanjiushu_zhengminglundeapuroch 上記、更新しました。 BGE (別名 NBG) が ZFC の保存拡大であることの recursive な証明の部分です. すでに何ヶ月も前に証明は完成しているのですが、…

『数理論理学の基礎 〜理論の構成と定義による保存拡大の証明論的分析〜』概要と本文の一部に加筆しました。公理シェーマによる非明示的公理の概念と、明示的公理の概念が、ブルバキの流儀に倣っているという点などを、明示しました。 https://www.researchg…