Zermelo 1930b

pp. 430-431

in: Ernst Zermelo, Set theory, miscellanea / Mengenlehre, varia, Berlin, Springer, 2010

Abstrakt

The concept of a complete propositional system is introduced, that is, of a propositional system containing all logical consequences of its propositions. The consideration of such systems may be preferred to the axiomatic formulation with respect to certain questions.