On irredundant sets of postulates. (Q5967281)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On irredundant sets of postulates. |
scientific article; zbMATH DE number 2585228
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On irredundant sets of postulates. |
scientific article; zbMATH DE number 2585228 |
Statements
On irredundant sets of postulates. (English)
0 references
1926
0 references
Note zu der vorstehend besprochenen Arbeit. Das angegebene Verfahren, ein irredundantes Axiomensystem herzustellen, heiße \(V\). Es wird gezeigt, daß es zu jedem irredundanten System \(B\) ein System \(A\) gibt, aus dem \(B\) nach dem Verfahren \(V\) entsteht. Außerdem wird ein irredundantes System \(B\) angegeben, bei welchem keines der zugehörigen Systeme \(A\) unabhängig ist.
0 references
