58 pages matching proved in this book
Results 1-3 of 58
What people are saying - Write a review
We haven't found any reviews in the usual places.
Summary of Part I
Section B Theory of Apparent Variables
59 other sections not shown
a e k ambiguous analogues apparent variables arithmetic asserted axiom of reducibility belongs Bern cardinal arithmetic cardinal number cf>x cj>x class of classes class of relations Cls ex2 excl Cls2 excl Cls2 Mult commutative law concerned contained converse domain defined definition denote descriptive function Dh.Prop disjunction elementary propositions exists extensional function false finite following propositions formally equivalent given Hence hypothesis identical King of France logical many-one mathematical induction meaning Mult ax negation notation occurs one-many one-one ordinal Pern Pot'P Potid'P predicative function present number primitive ideas primitive propositions Prop This proposition properties propositional function proved significant Similar proof Socrates Syll symbol symmetrical relation theory Transp true unit classes values x e a yfrx yfrz yjrx