[room] Число

[Nick S. Grechukh]

В сообщении от 27 января 2006 13:24 Dmytro O. Redchuk написал(a):
> On Fri, Jan 27, 2006 at 12:56:14PM +0200, Nick S. Grechukh wrote:
> > В сообщении от 27 января 2006 20:37 Michael Bykov написал(a):
> > > Ну, то, что целому числу нельзя дать определение, вы знаете,
> > > наверно.
> >
> > по некоторым версиям - можно :) смотря что понимать под определением,
> > конечно :)
>
> И что понимать под "версией", и что -- под "понимать" :О)
нет, существует определение (кажется, Фреге?.), задающее множество абстрактных  
объектов, на котором работают аксиомы формальной арифметики.

{a,b,c} - множество состоящее из элементов a,b,c. [] - мощность множества.

0 = [o]
1 = [{o}]
2= [{{o},o}]
3= [{{{o},o},o}]
4= [{{{{o},o},o},o}]
и т.д.