https://9dok.net/document/z3d37vm8-gleichheit-mengen-extensionalität-begriff-notation-mengen-mengen.html