Princiipal Mathematica: to 1856

ambiguity analogues apparent variables apply asserted proposition asymmetrical relations axiom of reducibility called cardinal class of classes concerned converse domain defined definition denote descriptive function disjunction dots ê pz elementary function elementary propositions exists extensional function fact false falsehood first-order functions following propositions formally equivalent ƒ ê given Hence hypothesis identical implies q individuals inference îŷ logical matrix mathematical induction mathematical logic mathematics matrix means negation notation object occurs ordinal number possible arguments pƆq predicative function premisses present number primitive ideas primitive propositions principle Prop This proposition properties propositional function propositions containing proved real variable satisfied scope second-order significant Similar proof Similarly Socrates Syll theory Transp true truth truth-functions truth-value unit classes vicious-circle φα