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

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