Proof That Undefined Notions Exist

Question

Undefined notions are terms which are to be understood intuitively, without precise definition. What's the proof of them being needed? I get that when we try to define a thing we need to use terms, which need to be defined too, an so on, but I want a formal proof, not an intuitive one.