@misc{indiciae3d28cd04abb8,
  title = {On the methodology of informal rigour: set theory, semantics, and intuitionism},
  author = {Walter Dean and Hidenori Kurokawa},
  year = {2021},
  url = {https://arxiv.org/abs/2104.14887},
  note = {Source identifier: 2104.14887}
}