3 Sep
2013
3 Sep
'13
6:52 p.m.
What does "true" mean here? Provable within PA? Because if it's undecidable in PA, there's disagreement over whether "true" (independent of any axiom system) has a well-defined meaning. --Dan Jim wrote: ----- . . . You could have a number m that's defined to equal 1 if some proposition P is true and 2 otherwise . . . . . . -----