Provability, Computability and Reflection

abstract Acad according addition aggregate alephs algebraic numbers Annalen arbitrary arithmetic assertion belongs Boolean algebra Bull called Cantor concept considered continuum decimal defined definition denote dense set denumerable set digit ensembles equal Erkenntnis example exists finite cardinals finite number finite sets formal Foundations function gamma-set geometry Hence ibid implies infinite set instance integers Jahresb Leipzig logic Logik logique magnitude mate Math mathematical induction Mathematik mathématiques Mengenlehre method Monist multiplication mutually exclusive N.S. vol natural numbers non-empty notion null-set obtain order-types ordered set ordered sum ordinal numbers outer product pairs particular Philos postulates preceding principle Proc procedure proper subset propositions prove rational numbers real numbers relation segment sequence set containing set of points set theory similar representation sum-set symbols theory of sets transfinite cardinals transfinite induction uniquely determined values well-ordered sets well-ordering theorem