References for Contradiction: The notion of contradiction in an axiomatic system and a proof of its consistency

Back to article
See all references for article

References to other articles in the 'The notion of contradiction in an axiomatic system and a proof of its consistency' section

Axiomatic system
Collectively exhaustive events
Consistency proof
Deduction system
Emil Post
Ernest Nagel
Gödel
James R. Newman
Modus ponens
Mutually exclusive
Principia Mathematica
Propositional calculus
Substitution (logic)
Tautology (logic)

Source on Wikipedia (https://en.wikipedia.org)

--

Gemipedia Home
Go to Article
Using English Wikipedia. Change Language?

--
Size: 1.39 KB. 99.11% smaller than original: 155.48 KB 🤮
Fetched: 798 ms. Converted: 407 ms. 🐇

Made with 📚 and ❤️ by Acidus (mailto://)

All Wikipedia content is licensed under CC BY-SA 3.0