The allR proof rule proves a universal formula ∀x p(x) by fixing a fresh variable y and proving that p(y) holds. Because y was an arbitrary new name about which nothing was assumed, ∀x p(x) follows.
∀x p(x)
y
p(y)
Learning resources