@misc{Lexicon of Arguments,
title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 29 Mar 2024},
author = {Thiel,Christian},
subject = {Consistency},
note = {I 223
Consistency/Maximum Consistency/Thiel:
In 1920 Post proved that if one adds to the axiom system examined (in his case Principia Mathematica(1)) a proposition that cannot be derived from them, the extended system is contradictory.
I 224
("completeness as maximum consistency") > maximum consistency.
>Completeness, >Derivation, >Derivability.},
note = { T I Chr. Thiel Philosophie und Mathematik Darmstadt 1995
},
file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=527399}
url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=527399}
}