Leśniewski's ontology extended with the axiom of choice.

Abstract

Here too it is assumed that the semantic categories of all components of the extensionality thesis have already been introduced.