Title: Meaning and intension in mathematics