... -theoretic axioms like "if A and B, then B," there can't be ... />
There is sort of a solution, though. If you limit ... each premise, you can get a long but finite list. In ... on Aristotle went about listing all the valid categorical syllogisms. They ...