Miranda
↑ ZFはツェルメロ・フレンケルの意
↑ https://www.cs.kent.ac.uk/people/staff/dat/miranda/manual/13/3.html