> On 13 May 2019, at 23:46, 'Brent Meeker' via Everything List > <[email protected]> wrote: > > > > On 5/13/2019 8:50 AM, Jason Resch wrote: >> But then what is arithmetical truth? We have no label for it. It cannot be >> derived from or defined by labels. > > And it depends on the model. Which is why it's undefinable within the > system. And also why it's not the same as the "true" in "It is true that > snow is white.”
? I don’t see the difference. The standard model of arithmetic is given by the intersection between all models. See my other recent explanations. Bruno > > Brent > > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/816e0c3c-76cc-82c8-a3b3-18f6af30b042%40verizon.net. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/A529D140-BF68-4BCD-8422-63436D7C7774%40ulb.ac.be.
