The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In this article the authors presents the Leibniz-Mycielski axiom (LM) of set theory (ZF) introduced several years ago by Jan Mycielski as an additional axiom of set theory. This new postulate formalizes the so-called Leibniz Law (LL) which states that there are no two distinct indiscernible objects. From the Ehrenfeucht-Mostowski theorem it follows that every theory which has an infinite model has a model with indiscernibles. The new LM axiom states that there are infinite models without indiscernibles. These models are called Leibnizian models of set theory. The author shows that this additional axiom is equivalent to some choice principles within the axiomatic set theory. It is also indicated that this axiom is derivable from the axiom which states that all sets are ordinal definable (V=OD) within ZF. Finally, the author explains why the process of language skolemization implies the existence of indiscernibles. In his considerations the author follows the ontological and epistemological paradigm of investigations