A → A
¬⊥
⊥ → A
(A → B) → A → B
A → (A → B) → B
A ∧ (A → B) → B
A(c) ∧ (A(c) → ∀x. A(x)) → ∀x. A(x)
∀x. A(x) → A(c)
A(c) → ∃x. A(x)
A → B → A
(A → B → C) → (A → B) → A → C
A → ¬(¬A)
(¬(¬A)) → A
A ∧ B → C → A ∧ C
(¬A) ∨ (¬B) → ¬A ∧ B
∀x. ∀y. A(x, y) → ∀x. A(x, x)
∀x. A(x) → ∃x. A(x)
∃x. (A(x) → ∀y. A(y))
...
[
]
□
\left[\;\right] \;\;\; \htmlData{hole=1773250674592}{\square}
[
]
□
1 / 1