Văn bản này: Proof, logic, and formalization