From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <ziga@udm.net>
X-Envelope-To: <smoke-room@lists.altlinux.org>
X-Envelope-From: ziga@udm.net
Date: Sun, 29 Jan 2006 18:07:53 +0400
From: Aleksey Korotkov <ziga@udm.net>
To: =?KOI8-R?Q?=CB=D5=CC=D8=D4=D5=D2=CE=D9=CA_=CF=C6=D4=CF=D0=C9=CB?=
	<smoke-room@lists.altlinux.org>
Subject: Re: [room] =?KOI8-R?Q?=FE=C9=D3=CC=CF?=
Message-Id: <20060129180753.0587113e.ziga@udm.net>
In-Reply-To: <200601271337.04235.gns@tpway.com>
References: <20060127213715.728d8f0d@michael.rsuh.ru>
	<200601271256.15036.gns@tpway.com> <20060127112444.GF27008@ldc.net>
	<200601271337.04235.gns@tpway.com>
X-Mailer: Sylpheed version 2.0.2 (GTK+ 2.4.9; i686-pc-linux-gnu)
Mime-Version: 1.0
Content-Type: text/plain; charset=KOI8-R
Content-Transfer-Encoding: 8bit
X-BeenThere: smoke-room@lists.altlinux.org
X-Mailman-Version: 2.1.5
Precedence: list
Reply-To: =?koi8-r?b?y9XM2NTV0s7ZyiDPxtTP0MnL?= <smoke-room@lists.altlinux.org>
List-Id: =?koi8-r?b?y9XM2NTV0s7ZyiDPxtTP0MnL?= <smoke-room.lists.altlinux.org>
List-Unsubscribe: <https://lists.altlinux.org/mailman/listinfo/smoke-room>,
	<mailto:smoke-room-request@lists.altlinux.org?subject=unsubscribe>
List-Archive: <http://lists.altlinux.org/pipermail/smoke-room>
List-Post: <mailto:smoke-room@lists.altlinux.org>
List-Help: <mailto:smoke-room-request@lists.altlinux.org?subject=help>
List-Subscribe: <https://lists.altlinux.org/mailman/listinfo/smoke-room>,
	<mailto:smoke-room-request@lists.altlinux.org?subject=subscribe>
X-List-Received-Date: Sun, 29 Jan 2006 15:44:37 -0000
Archived-At: <http://lore.altlinux.org/smoke-room/20060129180753.0587113e.ziga@udm.net/>
List-Archive: <http://lore.altlinux.org/smoke-room/>

On Fri, 27 Jan 2006 13:37:04 +0200
Nick S. Grechukh wrote:

NSG> нет, существует определение (кажется, Фреге?.), задающее
NSG> множество абстрактных объектов, на котором работают аксиомы
NSG> формальной арифметики.

Это не определение, а модель. 

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

mailto:ziga@uni.udm.ru