O que é uma proposição na matemática?