Какую тактику я должен использовать, чтобы вывести противоречие из абсурдного равенства?

Question

Допустим, у меня есть H: 0 = 1 в рамках. Как я могу использовать это, чтобы сделать вывод False?

Answer 1

Вы должны использовать тактику discriminate,