On Fri, 27 Jan 2006 13:37:04 +0200 Nick S. Grechukh wrote: NSG> нет, существует определение (кажется, Фреге?.), задающее NSG> множество абстрактных объектов, на котором работают аксиомы NSG> формальной арифметики. Это не определение, а модель. -- С уважением, Алексей Коротков mailto:ziga на uni.udm.ru