Fundamentals of Mathematical Proof Methods