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

---

Axiom ax-s 14

Description: Frege's axiom. Known as the S combinator in combinator calculus. Axiom ax-2 in [ILE] p. 0.

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  15  sd  19

Copyright terms: Public domain

W3C validator