. . "Non-standard model of arithmetic" . "Non-standard model of arithmetic" .