Высказывания, содержащие «все» или «ни один», могут быть опровергнуты эмпирическими данными, но не могут быть доказаны иначе, чем логически и математически.
Можно доказать, что «все простые числа, кроме 2, нечетны», потому что это следует из определений; но мы не можем доказать, что «все люди смертны», поскольку не можем доказать, что никого не пропустили.