Все люди красивы, за исключением безо́бразных.
Раздел: Эмпирические обобщения
Логическая эквилибристика
Недоказанное может считаться эмпирически верным, если оно не может быть опровергнуто в тех условиях, при которых оно сохраняет свою достоверность, и на том локальном временном интервале, на котором это условие сохраняется.
Алгоритм доказательства
Кто первым солгал, того и правда.
Индуктивный обрыв
В каждом практическом случае математической индукции можно указать такое N, при котором алгоритм перестает действовать.
Невероятная эмпирика
Чем меньше вероятность события, тем больше вероятность ее нарушения.

