ax-k - brismu bridi

	brismu bridi		< Previous Next > Nearby theorems
Mirrors > Home > Home > Th. List > ax-k

Axiom ax-k 11

Description: The principle of simplification. Known as the constant combinator, or K, in combinator calculus. Axiom ax-1 in [ILE] p. 0.

**Assertion**
Ref	Expression
ax-k	⊢ ganai broda gi ganai brode gi broda

This axiom is referenced by: ki 12 id 17 kd 24