
Re: A finite set of all naturals
Posted:
Aug 13, 2013 5:23 AM


Nam Nguyen wrote:
> > The point is though the essences of the 2 conjectures are drastically > different: _an odd number can not be defined without addition_ while > an even number can (as per Def03b above).
How do you prove that nondefinability of odd number?
Do you know in general terms how to prove that a property is not definable in a formal theory?
 Nam Nguyen in sci.logic in the thread 'Q on incompleteness proof' on 16/07/2013 at 02:16: "there can be such a group where informally it's impossible to know the truth value of the abelian expression Axy[x + y = y + x]".

