A completed proof occupies only part of its surrounding field. Keep the successful deduction, but do not confuse its unused alternatives with either errors in that deduction or proofs of impossibility.
Machine-Native ReasoningReading edition
50. Proof fields and certificates
Reading tools
Reading library
Text settings
Saved in this browser for reading chapters. Browser zoom also works.
Loading chapter…