There are several axiomatizations of set theory based on inclusion rather than membership. I found only two papers, but they are both in German, and I could not read them even using a disctionary. Can anybody refer to any articles in English on this?
The papers in German, which I have, are: H. Wegel. Axiomatische Mengenlehre ohne Elemente von Mengen. Math.Annalen, Bd. 131 S.435-462 (1956) A. Schoenflies. Zur Axiomatik der Mengenlehre. Math. Annalen 83, 173-200.
Is there anybody aware of any translation in English of these articles?
What I am mostly interested in, is whether or not in a set theory based on inclusion is possible to express the notion of ordered pair and power set.