>>163
矛盾を含むかもしれない公理から証明されたものを
無批判に正しく証明されているとしてもいいのか?