|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
Science/proof/physics/Kant/early/precritical: Newton's theory cannot be proven logically - that have seen KantVsLeibniz and KantVsWolff - but it also cannot be empirically verified - Kant had learned that from Hume.
Die Natur der Erkenntnis Bd I Stuttgart 1988
Die Natur der Erkenntnis Bd II Stuttgart 1988