Մաթ. Տրամ./Բանաձևերի արտածումները/A իմպլիկացիա A

$A\supset A$

$1.A\supset \left(A\supset A\right)$	// աքսիոմ 1 ($A=A,B=A$)
$2.\left(A\supset \left(A\supset A\right)\right)\supset \left(\left(A\supset \left(\left(A\supset A\right)\supset A\right)\right)\supset \left(A\supset A\right)\right)$	// աքսիոմ 2 ($A=A,B=\left(A\supset A\right),C=A$)
$3.\left(A\supset \left(\left(A\supset A\right)\supset A\right)\right)\supset \left(A\supset A\right)$	// m.p. (1,2)
$4.A\supset \left(\left(A\supset A\right)\supset A\right)$	// աքսիոմ 1 ($A=A,B=\left(A\supset A\right)$)
$5.A\supset A$	// m.p. (3,4)