id

Theorem. Principle of identity

Description:

Theorem *2.08 of Principia Mathematica, p. 101; id1 in set.mm.

Arguments:

(pr),

Assertions:

()

Proof:

Hyp	Ref	Line	Expr
	ax1	1	(())
	ax1	2	((()))
	ax2	3	(((()))((())()))
2, 3	ax-mp	4	((())())
1, 4	ax-mp	5	()