The Notion of Mathematical Proof