Ja, natuerlich basiert es auf der Zermelo-Fraenken-Notation, allerdings muss man nun wirklich nicht bei Adam und Eva anfangen, zumal der Verbreitungsgrad der Information unter nicht-Mathematikern doch eher gering ist. Ausserdem wollte ich das einfach konsistent halten, denn das Tutorial beruft sich auch auf HaskellLeonidas hat geschrieben:Eigentlich stammt das nicht wirklich aus der funktionalen Programmierung sondern aus der Mathematik.
[1] 
[1] Und BJ hat es noch nicht geschafft seine Fussnote in die Dokumentation zu bringen