[lojban-beginners] Re: logical proofs?

[Andrew Archibald <archibal@math.mcgill.ca>]

> > > 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