Text this: Consistencia, no trivialidad y redundancia en matemática