Murawski, R. Truth Vs. Provability – Philosophical and Historical Remarks. LLP 2004, 10, 93–117.