kt - Higher-Order Logic Explorer

	Higher-Order Logic Explorer		< Previous Next > Nearby theorems
Mirrors > Home > HOLE Home > Th. List > kt		GIF version

Syntax Definition kt 8

Description: Truth term.

**Assertion**
Ref	Expression
kt	term ⊤

This syntax is primitive. The first axiom using it is ax-trud 26.

Colors of variables: type var term