数理論理学（数学基礎論）　その11

数理論理学（数学基礎論）　その11at MATH

数理論理学（数学基礎論）　その11 - 暇つぶし2ch1014:１３２人目の素数さん
17/11/02 00:18:11.28 kb3Y9mL5.net
>>966
「B∨￢Bが証明できる｣ということが「Bが証明できる」または「￢Bが証明できる」という意味
なお
ここで言う｢証明できる｣は｢形式的に証明できる｣ということね

次ページ

続きを表示

1を表示