From archibal@fresco.Math.McGill.CA Mon Aug 23 11:55:29 2004
Received: with ECARTIS (v1.0.0; list lojban-beginners); Mon, 23 Aug 2004 11:55:29 -0700 (PDT)
Received: from fresco.math.mcgill.ca ([132.206.150.41])
	by chain.digitalkingdom.org with esmtp (Exim 4.34)
	id 1BzJya-0008Qa-SJ
	for lojban-beginners@chain.digitalkingdom.org; Mon, 23 Aug 2004 11:55:29 -0700
Received: (from archibal@localhost)
	by fresco.Math.McGill.CA (8.11.6/8.11.6) id i7NIsxv01688
	for lojban-beginners@chain.digitalkingdom.org; Mon, 23 Aug 2004 14:54:59 -0400
Date: Mon, 23 Aug 2004 14:54:59 -0400
From: Andrew Archibald <archibal@math.mcgill.ca>
To: lojban-beginners@chain.digitalkingdom.org
Subject: [lojban-beginners] Re: logical proofs?
Message-ID: <20040823145459.B32026@fresco.Math.McGill.CA>
References: <20040823153053.GI3257@chain.digitalkingdom.org> <20040823161720.89788.qmail@web41906.mail.yahoo.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.2.5.1i
In-Reply-To: <20040823161720.89788.qmail@web41906.mail.yahoo.com>; from jjllambias2000@yahoo.com.ar on Mon, Aug 23, 2004 at 09:17:20AM -0700
X-archive-position: 722
X-Approved-By: archibal@math.mcgill.ca
X-ecartis-version: Ecartis v1.0.0
Sender: lojban-beginners-bounce@chain.digitalkingdom.org
Errors-to: lojban-beginners-bounce@chain.digitalkingdom.org
X-original-sender: archibal@math.mcgill.ca
Precedence: bulk
Reply-to: lojban-beginners@chain.digitalkingdom.org
X-list: lojban-beginners


> > > If you'd like this a little more self-contained (you'll still need to
> > > depend on some properties of multiplication, addition, and ordering of
> > > the natural numbers) you can prepend the definition of a prime number:
> > > a natural number (i.e., positive integer) such that it can be written
> > > as a product of natural numbers in exactly one way, as one times
> > > itself.  
> > 
> > da poi mulna'usle cei broda cu ma'u zei mulna'u gi'e mulna'u pilji po'o
> > pa da
> 
> Only "1" is mulna'u pilji pa da, all other primes have exactly two
> natural divisors.

Ah.  Forgive me; I must have been tired.  The definition I gave is not
quite correct; 1 is not a prime number.  This may be better:

A prime number is a natural number greater than one not divisible by 
any natural number greater than one but less than itself. 

Andrew