0237132人目の素数さん垢版 | 大砲2020/08/09(日) 01:29:09.47ID:CxV7dbvp 健全性ガイジは荒らしだから無視でいい >>228が言ってることは正しい 体系Aの無矛盾性を体系Bで証明して、Bの無矛盾性をCで証明して、...ってやっても 一番根本にある体系の無矛盾性は誰も証明できないし、そいつが矛盾してれば全部の無矛盾性証明が間違い そして無矛盾性が証明できないことはゲーデルが証明した