Quine dismisses this notion of "bound variable" as "pointless apart from a certain aspect of the theory of types".
Ο Quine απορρίπτει αυτή την ιδέα της «δεσμευμένης μεταβλητής» ως «άσκοπη εκτός μια συγκεκριμένη πτυχή της θεωρίας των τύπων».