ДЧ
Дмитрий Чубов
Как-как, прямой аргументацией.
Необходимо договориться что является доказательством.
Доказуемость доказываемого доказывается доказательством.
При помощи логики, математической логики, которые нужно изучать. Теорему Гёделя о неполноте полезно изучить, причем, не только формулировку, но и доказательство.