| Property |
Value |
| dbo:abstract
|
- Der Begriff Axiomenschema bezeichnet in der Mathematischen Logik eine metasprachliche Konstruktionsvorschrift zur Darstellung von erststufigen Axiomensystemen, die nicht durch eine endliche Anzahl von Axiomen angegeben werden können oder angegeben werden sollen. Ein derartiges Axiomensystem muss nicht als eine unendliche Menge aufgefasst werden.Es muss aber entscheidbar sein, ob ein gegebener Ausdruck ein Axiom des Systems ist. (de)
- Der Begriff Axiomenschema bezeichnet in der Mathematischen Logik eine metasprachliche Konstruktionsvorschrift zur Darstellung von erststufigen Axiomensystemen, die nicht durch eine endliche Anzahl von Axiomen angegeben werden können oder angegeben werden sollen. Ein derartiges Axiomensystem muss nicht als eine unendliche Menge aufgefasst werden.Es muss aber entscheidbar sein, ob ein gegebener Ausdruck ein Axiom des Systems ist. (de)
|
| dbo:author
| |
| dbo:isbn
|
- 978-3-8348-0578-2
- 978-3-88538-118-1
|
| dbo:originalTitle
|
- Einführung in die Mathematische Logik (de)
- Messen und Zählen (de)
- Einführung in die Mathematische Logik (de)
- Messen und Zählen (de)
|
| dbo:wikiPageID
| |
| dbo:wikiPageRevisionID
| |
| prop-de:auflage
| |
| prop-de:jahr
|
- 2007 (xsd:integer)
- 2008 (xsd:integer)
|
| prop-de:kapitel
|
- Kap. 11: Die natürlichen Zahlen
|
| prop-de:online
|
- http://www.springerlink.com/content/978-3-8348-0578-2/
|
| prop-de:ort
| |
| dc:publisher
|
- Heldermann Verlag
- Vieweg+Teubner
|
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Der Begriff Axiomenschema bezeichnet in der Mathematischen Logik eine metasprachliche Konstruktionsvorschrift zur Darstellung von erststufigen Axiomensystemen, die nicht durch eine endliche Anzahl von Axiomen angegeben werden können oder angegeben werden sollen. Ein derartiges Axiomensystem muss nicht als eine unendliche Menge aufgefasst werden.Es muss aber entscheidbar sein, ob ein gegebener Ausdruck ein Axiom des Systems ist. (de)
- Der Begriff Axiomenschema bezeichnet in der Mathematischen Logik eine metasprachliche Konstruktionsvorschrift zur Darstellung von erststufigen Axiomensystemen, die nicht durch eine endliche Anzahl von Axiomen angegeben werden können oder angegeben werden sollen. Ein derartiges Axiomensystem muss nicht als eine unendliche Menge aufgefasst werden.Es muss aber entscheidbar sein, ob ein gegebener Ausdruck ein Axiom des Systems ist. (de)
|
| rdfs:label
|
- Axiomenschema (de)
- Axiomenschema (de)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is foaf:primaryTopic
of | |
