SMS: Proposiciones numéricas