Leśniewski’s Ontology – Proof-Theoretic Characterizationстатья