In the paper the problem of definability and undefinability of the concept of safisfaction and truth is considered. Connections between satisfaction and truth on the one hand and consistency of certain systems of ω-logic and transfinite induction on the other are indicated.
CITATION STYLE
Murawski, R. (2007). Troubles with (the concept of) truth in mathematics. Logic and Logical Philosophy, 15(4). https://doi.org/10.12775/llp.2006.017
Mendeley helps you to discover research relevant for your work.