Linguaggio matematica di base, modellizzazione e ragionamento