E. Catsigeras, «Consistencia, no trivialidad y redundancia en matemática», Rev. colomb. filos. cienc., vol. 17, n.º 34, ago. 2017.