ax-s - brismu bridi

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

Axiom ax-s 15

Description: Frege's axiom. Known as the S combinator in combinator calculus.

**Assertion**
Ref	Expression
ax-s	⊢ ganai ganai broda gi ganai brode gi brodi gi ganai ganai broda gi brode gi ganai broda gi brodi

This axiom is referenced by: si 16 sd 22