এই পাঠটি: Proof, logic, and formalization