On Sun, 29 Jan 2006 19:00:59 +0200 Nick S. Grechukh wrote: NSG> > Это не определение, а модель. NSG> oh well, что такое определение? Фреге просто пытался NSG> построить формалную систему.
Есть аксиоматика Пеано для натуральных чисел. Получается некая теория. Для неё можно рассматривать разные интерпретации (и смотреть, являются ли они моделями). То, что Вы привели -- модель (одна из возможных). Аксиомы оперируют неопределяемыми понятиями, на основе которых уже можно давать определения других понятий. -- С уважением, Алексей Коротков mailto:[EMAIL PROTECTED] _______________________________________________ smoke-room mailing list [email protected] https://lists.altlinux.org/mailman/listinfo/smoke-room
