Напротив, если аксиоматизация проведена на действительно высоком уровне обобщения, то аксиомы часто становятся длиннее, чем ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Эшенхёрст Р.N.
Лекции лауретов премии Тьюринга
Напротив, если аксиоматизация проведена на действительно высоком уровне обобщения, то аксиомы часто становятся длиннее, чем это необходимо для конкретных ситуаций.
