@misc{indiciae53cb18173c71,
  title = {Consistency, non triviality and redundancy in mathematics},
  author = {Eleonora Catsigeras},
  year = {2017},
  doi = {10.18270/rcfc.v17i34.2085},
  url = {https://arxiv.org/abs/1703.04069},
  note = {Source identifier: 1703.04069}
}