Новое понятие предикативной истинности и определимости

В статье дается понятие предикативной истинности в языке наивного анализа, исследуются особенности порождаемой им логики, доказывается его формализуемость в системе с конструктивным правилом Карнапа и тот факт, что в теории, основанной на этом понятии истины, выразимо то же, что и в обычных теориях гиперарифметического и разветвленного анализа. Библ. 4 назв.