Database
CLASSICAL FIRST-ORDER LOGIC WITH EQUALITY
Predicate calculus with equality: Tarski's system S2 (1 rule, 6 schemes)
Rule scheme ax-gen (Generalization)
Next ⟩
ax-gen
Metamath Proof Explorer
Ascii
Unicode
Table of Contents - 1.4.2. Rule scheme ax-gen (Generalization)
ax-gen
gen2
mpg
mpgbi
mpgbir
nex
nfth
nfnth
hbth
nftru
nffal
sptruw
altru
alfal