[room] Число

[Nick S. Grechukh]

В сообщении от 29 января 2006 16:07 Aleksey Korotkov написал(a):
> On Fri, 27 Jan 2006 13:37:04 +0200
> Nick S. Grechukh wrote:
> NSG> нет, существует определение (кажется, Фреге?.), задающее
> NSG> множество абстрактных объектов, на котором работают аксиомы
> NSG> формальной арифметики.
> Это не определение, а модель.
oh well, что такое определение? Фреге просто пытался построить формалную 
систему.