tgoop.com/logic_metamathematics/1000
Create:
Last Update:
Last Update:
Другим важным, наряду с полнотой, свойством теорий является их непротиворечивость: мы исходим из того, что возможность доказательства противоречащих друг другу выражений является нежелательной при построении теории.
Например, Исчисление высказываний как в гильбертовском (классическом), так и в генценовском (интуиционистском) вариантах непротиворечиво. Клини определяет это свойство как простую непротиворечивость: теория просто непротиворечива, если в ней ни одно выражение вместе со своим отрицанием не могут быть теоремами одновременно.
BY Логика и метаматематические исследования
Share with your friend now:
tgoop.com/logic_metamathematics/1000