@misc{indiciaeae676880948f,
  title = {Finite sets, mappings, cardinals, and arithmetic in intuitionistic New Foundations},
  author = {Michael Beeson},
  year = {2026},
  doi = {10.60866/cam.290},
  url = {https://arxiv.org/abs/2104.00506},
  note = {Source identifier: 2104.00506}
}