Una teoría está obligada a admitir aquellas entidades -y sólo aquéllas- a las cuales tienen que referirse las variables ligadas de la teoría para que la afirmaciones hechas en éstas sean verdaderas.
| W. V. Orman Quine, Desde un punto de vista lógico, Ariel, Barcelona 1962, p. 40. |