All proofs inevitably lead to propositions which have no proof! All things are known because we want to believe in them.