A priori and A posteriori proofs (Concept) - Source Library Encyclopedia