> 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?
Yes, we call, for not entirely clear reasons, second-order arithmetic "analysis". This is mainly because we know most of the mathematical stuff that's involved in an upper level course in analysis can be done, in a coded form, in second-order arithmetic.
-- Aatu Koskensilta (email@example.com)
"Wovon man nicht sprechen kann, darüber muss man schweigen" - Ludwig Wittgenstein, Tractatus Logico-Philosophicus