Nichtaxiomatisierbarkeit

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Die Eigenschaft einer Strukturklasse oder einer semantischen Eigenschaft, dass sie durch kein einzelnes effektives (z. B. rekursiv aufzählbares) oder endliches Axiomensystem in einer gegebenen formalen Sprache erfasst werden kann; kein Axiomensystem in dieser Sprache charakterisiert genau die beabsichtigte Klasse.