All universal quantifiers are bounded.
The open question is whether this includes the universe itself.
All universal quantifiers are bounded.
The open question is whether this includes the universe itself.