Это та стадия в доказательстве, на которой мы осознаем, что объекты, к которым относится теорема, являются лишь подклассом некоторого более широкого класса объектов. Мы теперь явным образом ограничиваем условия теоремы, начиная ее с выражений типа: «Все простые многогранники...», «Все выпуклые многогранники...» и т. п. Строгость теоремы зависит теперь от точности ограничивающих условий.

В рубрике: Надежность математического доказательства