Quais são as sentenças matemáticas?