The New Encyclopædia BritannicaEncyclopædia Britannica, 1992 |
From inside the book
Results 1-3 of 77
Page 271
... theory has any infinite model , then , for any infinite cardinality a , that theory has a model of cardinality a . More explicitly , this theorem contains two parts : ( 1 ) If a theory has a model of infinite cardinality ẞ , then , for ...
... theory has any infinite model , then , for any infinite cardinality a , that theory has a model of cardinality a . More explicitly , this theorem contains two parts : ( 1 ) If a theory has a model of infinite cardinality ẞ , then , for ...
Page 557
... theory and to prove this theory consistent - i.e . , free from contradiction . Previous to this proposal of Hilbert , proofs of consistency had been given for axiomatic theories by interpreting their undefined terms in another theory so ...
... theory and to prove this theory consistent - i.e . , free from contradiction . Previous to this proposal of Hilbert , proofs of consistency had been given for axiomatic theories by interpreting their undefined terms in another theory so ...
Page 692
History of magni- tudes theory Measurement Theory easurement theory studies the problems in as- sociating numbers with objects and empirical phenomena . It specifies what relations among objects are faithfully represented by assigning ...
History of magni- tudes theory Measurement Theory easurement theory studies the problems in as- sociating numbers with objects and empirical phenomena . It specifies what relations among objects are faithfully represented by assigning ...
Other editions - View all
Common terms and phrases
20th century Aeschylus allegory ancient Aristotle audience axiomatic axioms ballads biography calculus called character children's literature classical comedy comic criticism culture D.H. Lawrence derived dialects drama electrons elements Émile Zola energy England English epic essay example fiction Figure formal France French function genre German grammar Greek hero human inference interpretation John John Locke known language Latin light Lincoln linguistics Lisbon literary logic logician London luminescence Luther meaning medieval mereology metalogic metre modal logic modern moral morpheme nanometres narrative nature novel novelists original philosophical phoneme photons plays poem poet poetry predicate premises propositions prose prosody relation Renaissance romance rules saga satire semantic sense sentence social story structure style syllogisms syllogistic symbols T.S. Eliot tagmeme theatre theme theorem theory tion tradition tragedy tragic true truth valid variables verse wave wff's words writing written