The New Encyclopædia BritannicaEncyclopædia Britannica, 1992 |
From inside the book
Results 1-3 of 76
Page 241
Leśniew- ski's ontology and mereology Zermelo's axioma- tization of set theory Quine's theory of stratifica- tion Problems of con- sistency , complete- ness , and decid- ability Carnap's studies in philo- sophical syntax and Tarski's in ...
Leśniew- ski's ontology and mereology Zermelo's axioma- tization of set theory Quine's theory of stratifica- tion Problems of con- sistency , complete- ness , and decid- ability Carnap's studies in philo- sophical syntax and Tarski's in ...
Page 270
... set instead of being counted , and the " sizes " of these sets must thus be designated by transfinite numbers . A rather direct generalization can be drawn that says that , if a theory has any infinite model , then , for any infinite ...
... set instead of being counted , and the " sizes " of these sets must thus be designated by transfinite numbers . A rather direct generalization can be drawn that says that , if a theory has any infinite model , then , for any infinite ...
Page 554
... set theory to exclude too - large sets . In doing so , axioms are listed to govern just what sets shall be allowed ; and set theory becomes a formal axiomatic theory instead of a genetic one . The first system of axiomatic set theory ...
... set theory to exclude too - large sets . In doing so , axioms are listed to govern just what sets shall be allowed ; and set theory becomes a formal axiomatic theory instead of a genetic one . The first system of axiomatic set theory ...
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