Almost all mathematicians are like this: they can identify correct proofs and the invalidity of incorrect proofs, although they cannot define the exact meaning of a proof
Mathematicians cannot define the exact meaning of a proof