Full Idea
If there can be unprovable truths of mathematics, then mathematics cannot be reduced to the proofs whereby we construct it.
Gist of Idea
If maths contains unprovable truths, then maths cannot be reduced to a set of proofs
Source
Roger Scruton (Modern Philosophy:introduction and survey [1994], 26.7)
Book Reference
Scruton,Roger: 'Modern Philosophy: introduction and survey' [Sinclair-Stevenson 1994], p.395