Formalization 勉 WHY Precise Effective Correct Description Reasoning Proving do we need How to How to carry out What is a correct unambiguously reasoning? proof? formalization? specify a statement.Formalization WHY do we need formalization? How to unambiguously specify a statement. Precise Description How to carry out reasoning? Effective Reasoning What is a correct proof? Correct Proving