|Provability: Logic statements are only provable within the system to which they belong. The question then is, among other things, whether the means of expression of the system are sufficient for the presentation of evidence to the statements.|
Books on Amazon
|Provability||Holz I 39
Empiricism/Perception/Evidence/Leibniz: what makes the senses intelligible is unprovable.
G. W. Leibniz
Philosophical Texts (Oxford Philosophical Texts) Oxford 1998
H. H. Holz
Leibniz Frankfurt 1992