prooftheory(その他表記)prooftheory

世界大百科事典(旧版)内のprooftheoryの言及

【数学基礎論】より

…後者を超数学といい,その論法は有限的,構成的なしかたによらなければならない。超数学では体系内での証明自体が研究の主たる対象とされるからこれを証明論proof theoryともいう。与えられた形式的体系について,証明論の究極の目標は〈矛盾に至る証明はその体系内ではありえない〉ことを証明することである。…

※「prooftheory」について言及している用語解説の一部を掲載しています。

出典|株式会社平凡社「世界大百科事典(旧版)」

貨幣 (名目) 賃金額を消費者物価指数でデフレートしたもので,基準時に比較した賃金の購買力を計測するために用いられる。こうしたとらえ方は,名目賃金の上昇が物価の上昇によって実質的には減価させられている...

実質賃金の用語解説を読む