take as an axiom
510.999... — In mathematics, the repeating decimal 0.999... (which may also be written as 0.9, , 0.(9), or as 0. followed by any number of 9s in the repeating decimal) denotes a real number that can be shown to be the number one. In other words, the symbols 0 …
52logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher …
53List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… …
54Naive set theory — This article is about the mathematical topic. For the book of the same name, see Naive Set Theory (book). Naive set theory is one of several theories of sets used in the discussion of the foundations of mathematics.[1] The informal content of… …
55Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… …
56Voluntaryism — is a philosophy that opposes anything that it sees as unjustifiably invasive and coercive. Voluntaryism regards government as coercive, and calls for its abolishment, but, unlike a number of other anarchist philosophies, it supports strong… …
57Universe (mathematics) — In mathematical logic, the universe of a structure (or model ) is its domain.In mathematics, and particularly in applications to set theory and the foundations of mathematics, a universe or universal class (or if a set, universal set – not to be… …
58Glenn Shorrock — Infobox Musical artist Name = Glenn Shorrock Img capt = Glenn Shorrock, Nambassa, 1979 Background = solo singer Birth name = Glenn Barrie Shorrock Born = birth date and age|1944|6|30 Chatham, Kent, UK Origin = Genre = Pop, rock Associated acts =… …
59History of Physics — History of Physics † Catholic Encyclopedia ► History of Physics The subject will be treated under the following heads: I. A Glance at Ancient Physics; II. Science and Early Christian Scholars; III. A Glance at Arabian Physics; IV.… …
60Epistemic modal logic — is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields …
