排中律
その一般的形式「全ての判断は真または偽である」[footnote 9]...(from Kolmogorov in van Heijenoort, p. 421) footnote 9: これはライプニッツの非常に単純な定式化である (see Nouveaux Essais, IV,2)...." (ibid p 421)