‘The least a proof can prove is the provability of what it's result’