Your universal propositional calculus might not be able to generate that proposition, but my calculus can easily prove: Yours won’t generate any propositions if it has no axioms.
This is precisely the problem. I was posting in the hopes of finding some clever solution to this problem- a self-proving axiom, as it were.
Your universal propositional calculus might not be able to generate that proposition, but my calculus can easily prove: Yours won’t generate any propositions if it has no axioms.
This is precisely the problem. I was posting in the hopes of finding some clever solution to this problem- a self-proving axiom, as it were.