「排中律」の版間の差分
削除された内容 追加された内容
m 段落記法を修正 タグ: 差し戻し済み 2017年版ソースエディター |
m 取り消し タグ: 取り消し |
||
64行目:
=== ライプニッツ ===
<blockquote>その一般的形式「全ての判断は真または偽である」[footnote 9]...(from Kolmogorov in van Heijenoort, p. 421)<br />
footnote 9: これは[[ゴットフリート・ライプニッツ|ライプニッツ]]の非常に単純な定式化である (see ''Nouveaux Essais'', IV,2)...." (ibid p 421)</blockquote>
|