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
People who can identify correct proof and incorrect proof may not be able to define the exact meaning of proof