[room] Число

[Aleksey Korotkov]

On Sun, 29 Jan 2006 19:00:59 +0200
Nick S. Grechukh wrote:

NSG> > Это не определение, а модель.
NSG> oh well, что такое определение? Фреге просто пытался
NSG> построить формалную систему. 

Есть аксиоматика Пеано для натуральных чисел. Получается некая
теория. Для неё можно рассматривать разные интерпретации (и
смотреть, являются ли они моделями). То, что Вы привели --
модель (одна из возможных). Аксиомы оперируют неопределяемыми
понятиями, на основе которых уже можно давать определения
других понятий.   

-- 
С уважением,
Алексей Коротков

mailto:ziga на uni.udm.ru