From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Envelope-To: X-Envelope-From: ziga@udm.net Date: Mon, 30 Jan 2006 02:17:57 +0400 From: Aleksey Korotkov To: =?KOI8-R?Q?=CB=D5=CC=D8=D4=D5=D2=CE=D9=CA_=CF=C6=D4=CF=D0=C9=CB?= Subject: Re: [room] =?KOI8-R?Q?=FE=C9=D3=CC=CF?= Message-Id: <20060130021757.6a109450.ziga@udm.net> In-Reply-To: <200601291900.59864.gns@tpway.com> References: <20060127213715.728d8f0d@michael.rsuh.ru> <200601271337.04235.gns@tpway.com> <20060129180753.0587113e.ziga@udm.net> <200601291900.59864.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-Antivirus: Dr.Web (R) for Mail Servers on skat.izhcom.ru host X-Antivirus-Code: 100000 X-BeenThere: smoke-room@lists.altlinux.org X-Mailman-Version: 2.1.5 Precedence: list Reply-To: =?koi8-r?b?y9XM2NTV0s7ZyiDPxtTP0MnL?= List-Id: =?koi8-r?b?y9XM2NTV0s7ZyiDPxtTP0MnL?= List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 29 Jan 2006 23:40:39 -0000 Archived-At: List-Archive: On Sun, 29 Jan 2006 19:00:59 +0200 Nick S. Grechukh wrote: NSG> > Это не определение, а модель. NSG> oh well, что такое определение? Фреге просто пытался NSG> построить формалную систему. Есть аксиоматика Пеано для натуральных чисел. Получается некая теория. Для неё можно рассматривать разные интерпретации (и смотреть, являются ли они моделями). То, что Вы привели -- модель (одна из возможных). Аксиомы оперируют неопределяемыми понятиями, на основе которых уже можно давать определения других понятий. -- С уважением, Алексей Коротков mailto:ziga@uni.udm.ru