@misc{Lexicon of Arguments, title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 28 Mar 2024}, author = {Thiel,Christian}, subject = {Incompleteness}, note = {I 222 Incompleteness/Thiel: Incompleteness keeps reappearing. The logical rules do not contain all the operations actually performed when closing, nor are the prerequisites for these operations formalized. For example, the order of the premises of a rule is regarded as insignificant. For example, the separation rule is also formulated with reversed premises. >modus ponens. I 223 The usual axiom systems of the logical connectives are complete since Frege. >Completeness, >Axiom systems, >G. Frege, >Junctions.}, note = { T I Chr. Thiel Philosophie und Mathematik Darmstadt 1995 }, file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=527344} url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=527344} }