История изменений
Исправление den73, (текущая версия) :
https://habrahabr.ru/post/83269/ со ссылкой на википедию говорит: «Пусть q(x) является свойством верным относительно объектов x некоторого типа T. Тогда q(y) также должно быть верным для объектов y типа S, где S является подтипом типа T.»
Вспоминается: «Минимальное целое число, которое нельзя определить восемью словами».
Исходная версия den73, :
https://habrahabr.ru/post/83269/ со ссылкой на википедию говорит: «Пусть q(x) является свойством верным относительно объектов x некоторого типа T. Тогда q(y) также должно быть верным для объектов y типа S, где S является подтипом типа T.»
Вспоминается: «Минимальное целое число, которое нельзя определить восемью словами» - не в этом ли истинная проблема?