Jest coś, czego nie ma - czyli próba rozwiązania starej zagadki bytu

Abstrakt

In the article the formalization of a certain fragment of ontology is presented. The axiomatic definition of property and few definitions of the notion of existence are given. The opinion about two kinds of existence is asserted.