pred-ax
Top-level context.
Axioms for predicate calculus.
Description:
Pure predicate calculus (without equality).
Primitive symbols:
Sym
Comment
Axioms:
Name
Comment
ax-gen
ax4
ax5
ax6
ax7
Definitions:
Name
Sym
Comment
df-Bvp
(
bound in
)
df-ex
bound in )