健全性ガイジは荒らしだから無視でいい

>>228が言ってることは正しい
体系Aの無矛盾性を体系Bで証明して、Bの無矛盾性をCで証明して、...ってやっても
一番根本にある体系の無矛盾性は誰も証明できないし、そいつが矛盾してれば全部の無矛盾性証明が間違い
そして無矛盾性が証明できないことはゲーデルが証明した