  (Leśniewski wanted to have names in the predicative position). It is assumed that the copula ‘is’ has so-called fundamental meaning. It is established by the axiom of LO, which is, the conjuction of three following sentences: