@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} }