neccesity & sufficiency, iff you really want to prove a thing.
> 2) A purely formal construct that is inspired by the informal notion of proof but may not be an entirely accurate model of that informal notion. > > When we debate the question of whether ZFC has accurately captured our intuitive notion of what a proof is, we must rely on the first definition.
