logically consistent
121formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used …
122set theory — the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… …
123Axiom of choice — This article is about the mathematical concept. For the band named after it, see Axiom of Choice (band). In mathematics, the axiom of choice, or AC, is an axiom of set theory stating that for every family of nonempty sets there exists a family of …
124Predestination — Predestination, in theology is the doctrine that all events have been willed by God. John Calvin interpreted biblical predestination to mean that God willed eternal damnation for some people and salvation for others.[1] Explanations of… …
125Principia Mathematica — For Isaac Newton s book containing basic laws of physics, see Philosophiæ Naturalis Principia Mathematica. The title page of the shortened version of the Principia Mathematica to *56. The Principia Mathematica is a three volume work on the… …
126Anthropic principle — In astrophysics and cosmology, the anthropic principle is the philosophical argument that observations of the physical Universe must be compatible with the conscious life that observes it. Some proponents of the argument reason that it explains… …
127Philosophy of mathematics — The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of …
128Doxastic logic — is a modal logic concerned with reasoning about beliefs. The term doxastic derives from the ancient Greek δόξα, doxa, which means belief. Typically, a doxastic logic uses Bx to mean It is believed that x is the case, and the set denotes a set of… …
