tokens: Kilka lat po ogłoszeniu tego modelu , gdy został on w zasadzie zaakceptowany przez większość pozytywistów logicznych , a także Karla Poppera - matematyk i logik Willard Van Orman Quine - zauważył , że z użyciem tego modelu można dowieść , że żaden z eksplanansów końcowych ( [ P ] ) nie może być skutecznie ani zweryfikowany , ani sfalsyfikowany .