> Proofs are usually not completely formal or even formalizable. Math is not completely well founded. This is often stated, but is it really true? I haven’t se

> Proofs are usually not completely formal or even formalizable. Math is not completely well founded. This is often stated, but is it really true? I haven’t seen a persuasive argument that not all math could (in principle) be formalized.