3 ms·
If you want to prove "\forall x: A(x)", you start with "let x be a free variable. It remains to show A(x)".
by Gehinnn 6y ago
If you want to prove "\forall x: A(x)", you start with "let x be a free variable. It remains to show A(x)".
- codebje 6y agoWouldn't that only show \exists x: A(x)? Or perhaps by free variable you mean one whose value isn't decidable - but that contradicts having chosen values in the origin comment.