take as an axiom
31Cultural schema theory — (Nishida, 1999) explains the familiar and pre acquainted knowledge one uses when entering a familiar situation in his/her own culture. Cultural schemas for social interaction are cognitive structures that contain knowledge for face to face… …
32Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… …
33First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …
34Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… …
35Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… …
36New Foundations — In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. Quine first proposed NF in a 1937 article titled New Foundations for …
37List of Gobots characters — This is an alphabetical list of Gobots characters with information on their appearances, fictional biographies and histories. Contents 1 Bad Boy 1.1 Animated series 1.2 Fun Publications 1.3 Toys …
38Theory of conjoint measurement — The theory of conjoint measurement (also known as conjoint measurement or additive conjoint measurement) is a general, formal theory of continuous quantity. It was independently discovered by the French economist Gerard Debreu (1960) and by the… …
39Internal set theory — (IST) is a mathematical theory of sets developed by Edward Nelson which provides an axiomatic basis for a portion of the non standard analysis introduced by Abraham Robinson. Instead of adding new elements to the real numbers, the axioms… …
40Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… …
