All Questions
1
question
7
votes
2
answers
966
views
Is Propositional Logic Sound and Complete
After reading Gödel's incompleteness theorem, I wonder if there are any systems whose axioms are sound and complete. I realize that Gödel's arguments (at least from my sources) only apply to ...