3 ms·
> the objectivity is in the fact that a some theorem provably follows from the axioms. Actually I don’t think the laws of inference are formally provable.
by RcouF1uZ4gsC 4y ago
> the objectivity is in the fact that a some theorem provably follows from the axioms.
Actually I don’t think the laws of inference are formally provable.
- DoctorOetker 4y agoThe laws of inference are axioms as well. You can see how its done in say MetaMath.