I actually thought about including that: similarly, in American logic, you can’t take an arbitrary claim P and come up with a sentence S such that you can derive P from “S is true” and also from “S is false”.
I actually thought about including that: similarly, in American logic, you can’t take an arbitrary claim P and come up with a sentence S such that you can derive P from “S is true” and also from “S is false”.