Leśniewski’s Ontology – Proof-Theoretic Characterizationдоклад на конференции