Любое доказательство теорем сводится к приведению к тождественности двух аксиоматической комбинаций - в левой части тождества и в правой. Если доказательство от противного, то это только добавляет знак инверсии в тождество.
По сути Гёдель именно таким способом и доказал свою теорему. Достаточно было только хорошенько подумать над комбинациями аксиом.
|