OCME · Bilingual mathematics & derivations

Proof and Evidence Literacy

Identify proof obligations before distinguishing human proof, finite computational evidence, and exact formal proof.

This is a suggested learning sequence, not a universal logical dependency or a formal proof.

1. Stage 1 · required

   Mathematical proof

   First distinguish premises, inference, conclusions, and evidence that is not a proof.

   Related questions Concept guides

2. Stage 2 · required

   Pythagorean theorem

   Inspect one object carrying human, Python, FELRA, and Lean evidence at the same time.

   Related questions Concept guides

3. Stage 3 · optional

   Right triangle

   Compare the evidence needs of a definition object and a theorem object.

   Related questions Concept guides

4. Stage 3 · optional

   Tends-to relation

   Compare a formal core with the boundary of complete analysis semantics.

   Related questions Concept guides