Formal System Having Just One Primitive Notion
Katuzi Ono · Nagoya Mathematical Journal · 1966
In this paper, I would like to point out some characteristic features of formal systems having just one primitive notion. Most remarkable systems of this kind may be Zermelo’s and Fraenkel’s set-theories, both having just one primitive notion ∈.