|Proof in logic, mathematics: finite string of symbols, which derives a statement in a system from the axioms of the system together with already proven statements.|
Books on Amazon
|Proofs||Cardorff II 56f
Proof/Heidegger: We do not have to prove anything here. All proof is always a retrospective undertaking on the basis of prerequisites. Depending on how these are set, everything can be proven.
Sein und Zeit Berlin 2006
Martin Heidegger Frankfurt/M. 1991