>論理体系全体の無矛盾性を根拠にしてる
してません
矛盾していれば何でも証明できるのだから背理法の証明だって常に成り立ちます