「おそらく正しい」から証明可能な正しいまで。すべてを確認します。