<LATEX language="en">
Identity Definition
</LATEX>
We define the identity constant and have some atoms and a proposition.
Michael Meyling
<LATEX language="en">
The Only One
</LATEX>
<LATEX language="en">Identity</LATEX>
is a member ofist enthalten in
<LATEX language="en">Membership Operator</LATEX>
<LATEX language="de">Elementbeziehung</LATEX>
#1 \in #2identity definitionDefinition der Identität
<LATEX language="en">Identity\index{identity}\index{definition!of identity}</LATEX>
<LATEX language="de">Identität\index{Identität}\index{Definition!der Identität}</LATEX>
#1 \ = \ #2not identical definitionDefinition der Verschiedenheit
<LATEX language="en">Not Identical\index{identical!is not}</LATEX>
<LATEX language="de">Verschiedenheit\index{Verschiedenheit}\index{Definition!der Verschiedenheit}</LATEX>
#1 \ \neq \ #2reflexivity of identityReflexivität der Identität
<LATEX language="en">Reflexivity of Identity\index{reflexivity!of identity}\index{identy!reflexivity of}</LATEX>
<LATEX language="de">Reflexivität der Identität\index{Reflexivität!der Identität}\index{Identität!Reflexivität der}</LATEX>
Leibniz' replacementLeibnizsche Ersetzbarkeit
<LATEX language="en">Leibniz' replacement\index{Leibniz' replacement}</LATEX>
<LATEX language="de">Leibnizsche Ersetzbarkeit\index{Leibnizsche Ersetzbarkeit}</LATEX>
symmetry of identitySymmetrie der Identität
<LATEX language="en">Symmetrie of identity\index{identity!symmetry of}</LATEX>
<LATEX language="de">Symmetrie der Identität\index{Identität!Symmetrie der}</LATEX>
transetivity of identityTransitivität der Identität
<LATEX language="en">Transitivity of identity\index{identity!transetivity of}</LATEX>
<LATEX language="de">Transitivität der Identität\index{Identität!Transitivität der}</LATEX>
class definition
<LATEX language="en">Class definition</LATEX>
union
<LATEX language="en">Union Operator\index{union}\index{class!union}</LATEX>
(#1 \cup #2)