Text this: Axiomatic Set Theory à la Dijkstra and Scholten