3 ms·
> I'd argue that two correct proofs are always the same All correct inferences proceeding from the same axioms are the same.
by naniwaduni 2y ago
> I'd argue that two correct proofs are always the same
All correct inferences proceeding from the same axioms are the same.