The author describes how Tarski showed in 1940 that Sturm's method of proof could be used in mathematical logic to prove the completeness of elementary algebra and geometry.
Ang may-akda na naglalarawan kung paano Tarski ay nagpakita sa 1940 na Sturm ang paraan ng pagpapatunay ay maaaring gamitin sa matematikal na lohika upang patunayan ang kaganapan ng elementarya algebra at geometry.