Sandy
Posts:
51
Registered:
7/9/13


Re: Ordinals describable by a finite string of symbols
Posted:
Jul 10, 2013 1:19 PM


Aatu Koskensilta wrote:
> [...] For a language with a mathematically defined semantics  such > as given by a truth definition for the language of set theory, analysis,
In this context what is analysis? Second order Peano arithmetic?
> arithmetic, ...  there is such a totality, but, provided we accept the > definition as legitimate, we can always move to a more expressive > language, e.g. by introducing a truth predicate. >

