## The New Encyclopaedia Britannica, Volume 11Encyclopaedia Britannica, 1983 - Encyclopedias and dictionaries |

### From inside the book

Results 1-3 of 48

Page 43

extra

system inconsistent. Finally, an

given

...

extra

**axiom**) of any wff whatever that is not already a theorem would make thesystem inconsistent. Finally, an

**axiom**or transformation rule is independent (in agiven

**axiomatic**system) if it cannot be derived from the remainder of the basis (or...

Page 54

For an account of further developments, more advanced

theory. Apart from its own intrinsic interest, set theory has an importance for the

foundations of mathematics in that it is widely held that the natural numbers can ...

For an account of further developments, more advanced

**axioms**, etc., see settheory. Apart from its own intrinsic interest, set theory has an importance for the

foundations of mathematics in that it is widely held that the natural numbers can ...

Page 71

Ontology, which is a system of the logic of noun expressions, is obtained by

subjoining some ontological

following single

Ontology, which is a system of the logic of noun expressions, is obtained by

subjoining some ontological

**axioms**to the ... In ontology, it is characterized by thefollowing single

**axiom**: "For all a and b, a is b if and only if (/) for some c, c is a, ...### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Other editions - View all

### Common terms and phrases

19th century army atoms axiomatic axioms bearings became BIBLIOGRAPHY body centre century church coil dipoles Dutch economic electric electrons energy example ferromagnetic Figure fluid flux density force France French friction function gears German helium-3 Holland important industry King known land later Lo-yang load lock locomotion loess logic logicians logistic London Louis Low Countries lubricant luminescence Luther Lutheran Luxembourg lymph lymph nodes lymphatic Macau machines Mackenzie River Madagascar Madhya Pradesh magic magnesium magnetic field material mechanical ment Merina metal metalogic metre miles modal modal logic motion move movement Netherlands nodes nuclear operations particles percent political population predicate produced propositions provinces river rotation rule screw shaft speed square square miles stadholder surface syllogisms temperature theorem theory tion torque towns trans types United valid variables velocity wff's