What set of formal rules can we use to safely apply Universal/Existential Generalizations and Specifications?
123751
Restrictions on the use of universal generalization
45878
Elementary Set Theory: Ordinals, Well Orderings and Isomorphisms
135267
Predicate Logic and Inference
42869
Is $\lor$ definable in intuitionistic logic?
3571
Equivalent implicit operators: why are they legal?
70166
Why is the universal quantifier $\forall x \in A : P(x)$ defined as $\forall x (x \in A \implies P(x))$ using an implication?
36989
Determining functions from specifications...
24965
Practical Uses for the "Curiously Recurring Template Pattern"
30481
How to avoid perceived circularity when defining a formal language?
65682
Why does universal generalization work? (the rule of inference)
67892
Infinum & Supremum: An Analysis on Relatedness
103112
Does the existential quantifier distribute over an implication?
125950
Proof strategy involving first order logic for existential quantification at very beginning
38739
Restrictions on universal generalization
77548
Given an arbitrary infinite set $S$, how to construct an injection $\mathbb{N} \to S$ with the Axiom of Choice?
34164
Does functional programming replace GoF design patterns?
157490
Statements equivalent to the Axiom of Choice