Theory (mathematical logic)

在數理邏輯上，獨立性指的是一個句子相對於其他句子的不可證明性。 若一個句子 σ {\displaystyle \sigma } 獨立於一個一階理論（英语：Theory (mathematical logic)） T {\displaystyle T} ，那就表示說 σ {\displaystyle \sigma } 在 T {\displaystyle

《遍歷理論講義》 Lectures on Ergodic Theory. Chelsea. 1960年 《朴素集合论》 Naive Set Theory. Springer Verlag. 1962年 《代數邏輯》 Algebraic Logic. Chelsea. 1963年 《布林代數講義》 Lectures

continuum hypothesis. Mathematical Systems Theory 1:89-111. 1970. 'Advice in modal logic'. In Philosophical Problems in Logic, ed. K. Lambert, pages

1927. The Logic of Discovery, Chicago/London: Open Court Publishing CO., pp. 280, 1930; Reprinted of Arno press, New York, 1975 Mathematical Tables and

Monney. A Mathematical Theory of Hints. An Approach to the Dempster-Shafer Theory of Evidence. Lecture Notes in Economics and Mathematical Systems , vol