P10' ¬xy(y ex X)

(Not every haecceity is exemplified.)

Theorems of P- include:

T42' ¬x(x = x)

  (Not every particular is self-identical.)

T43'# ¬xy(z(x emb Zy emb Z)x = y)

  (Not all indiscernible particulars are identical.)

T44' ¬xy(x = y)

(Not every particular is classical.)

T46' ¬xywz(x.Y = w.Z)

(Not every complex is classical.)

P10'* ¬xy(y ex X)

(No haecceity is exemplified.)

Theorems of P-- include:

T48' ¬x(x = x)

(No particular is self-identical.)

T29' ¬xy(x.Y = x.Y)

(No complex is self-identical.)

T49' ¬xy(x = y)

(There are no classical particulars.)

T45' ¬xywz(x.Y = w.Z)

(There are no classical complexes.)

P10'*' xy(y ex X)

(Some haecceity is exemplified.)

Theorems of P-+ include:

T48 x(x = x)

(Some particular is self-identical.)

T29 xy(x.Y = x.Y)

(Some complex is self-identical.)

T49 xy(x = y)

(Some particular is classical.)

T45 xywz(x.Y = w.Z)

(Some complex is classical.)²³