@misc{indiciae3512a69382ea,
  title = {Four redundant axiomatics},
  author = {Anton Cedilnik},
  year = {2023},
  url = {https://arxiv.org/abs/2312.08404},
  note = {Source identifier: 2312.08404}
}