# Proof and Evidence Literacy

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

[← Return to results](/en/paths/)

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


- Stage 1 · required



## [Mathematical proof](/en/mko/mko-proof/?from=%2Fen%2Fpaths%2Fpath-proof-and-evidence-literacy%2F%3Ffrom%3D%252Fen%252Fpaths%252F)

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

[Related questions](/en/explore/?mko=mko-proof) [Concept guides](/en/derivations/?q=mko-proof)


- Stage 2 · required



## [Pythagorean theorem](/en/mko/mko-euclid-pythagorean-theorem/?from=%2Fen%2Fpaths%2Fpath-proof-and-evidence-literacy%2F%3Ffrom%3D%252Fen%252Fpaths%252F)

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

[Related questions](/en/explore/?mko=mko-euclid-pythagorean-theorem) [Concept guides](/en/derivations/?q=mko-euclid-pythagorean-theorem)


- Stage 3 · optional



## [Right triangle](/en/mko/mko-right-triangle/?from=%2Fen%2Fpaths%2Fpath-proof-and-evidence-literacy%2F%3Ffrom%3D%252Fen%252Fpaths%252F)

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

[Related questions](/en/explore/?mko=mko-right-triangle) [Concept guides](/en/derivations/?q=mko-right-triangle)


- Stage 3 · optional



## [Tends-to relation](/en/mko/mko-tends-to-relation/?from=%2Fen%2Fpaths%2Fpath-proof-and-evidence-literacy%2F%3Ffrom%3D%252Fen%252Fpaths%252F)

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

[Related questions](/en/explore/?mko=mko-tends-to-relation) [Concept guides](/en/derivations/?q=mko-tends-to-relation)



Path source & statuspath-proof-and-evidence-literacy · reviewed

[Original paths JSON](/data/architecture/learning-paths.json)