Haddock, G. E. R. On the Semantics of Mathematical Statements. Manuscrito - Rev. Int. Fil. 2007, 30, 317-340.