Andrew Tomazos schrieb: > On Jun 21, 11:04 pm, Jan Burse <janbu...@fastmail.fm> wrote: >> Does this make sense to you? > > Sort of. Let me try and write the proof for the Euclid theorem I > wrote in my original post. Do you know where I can find a natural > language version of the proof? I lost my original source. > -Andrew. > Depends where you begin, how do you see natural numbers? Peano? Or is it a more general result in algebra?