Search found 1 match
- Thu Apr 25, 2024 5:40 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: ∞ is a free variable
- Replies: 268
- Views: 21716
Re: ∞ is a free variable
you're conflating difference senses of bound. bounded variable (as opposed to free) in logic just means that it is not in the scope of a quantifier. It has no notion of quantity, or limitless, or infinity. We say a variable is unbounded just in case that it is not in the scope of a quantifier.