Explain and give examples of at least four advanced mathematical proof techniques, such as proof by contradiction, mathematical induction, proof by exhaustion, and diagonalization argument. For each technique, provide a detailed example of a theorem that uses this method of proof. Discuss the philosophical implications of what mathematical proof means and its relationship to mathematical truth.