Доказательства непротиворечивости системы


Интересно, что для доказательства непротиворечивости системы достаточно показать, что существует хотя бы одно ложное высказывание, выраженное с помощью одних только знаков системы согласно правилам надлежащего их сочетания. Допустим, что в рамках данной системы можно сформулировать ложное (далее…)

READ MORE