There is Something that Does Not Exist: An Attempt to Solve the Riddle of Being

Abstract

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.