Machine-Native ReasoningReading edition

50. Proof fields and certificates

Reading tools
Reading library

Saved reading

Read side by side

Loading chapter…
Resources & source
PDF and editable source · Chapter source · About this edition

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.