Quine realizó sus principales contribuciones a la teoría de conjuntos, una rama de la lógica matemática que tiene que ver con la relación entre los conjuntos.