A one axiom set theory based on higher order predicate calculus

@article{Bunder1983AOA,
  title={A one axiom set theory based on higher order predicate calculus},
  author={Martin W. Bunder},
  journal={Arch. Math. Log.},
  year={1983},
  volume={23},
  pages={99-107}
}