Rosado Haddock, G. E. On the Semantics of Mathematical Statements. Manuscrito - Rev. Int. Fil. 1996, 19, 149-175.