On axiom systems of ontology, I
Shôtarô Tanaka · Proceedings of the Japan Academy Series A Mathematical Sciences · 1970
It is well known that Leniewski's original system of ontology has the form of the following single axiomIt is mentioned that the following expression can act as the single axiom of Ontology by C. Lejewski [1]" A.a e b=_[ilc]{c e aAc e b)A[c]{c aa e c}.In this paper, we shall prove that T and A are equivalent.The