ネットだけではネットの無矛盾性を証明できない。