有的命题为假是可以先天地判断出来的，不是先天真理，然而本身又具有不依赖于经验而为假的性质，是先天假命题，如1＋1＝3。但复杂一些的先天命题是否为真就不容易判断了，如哥德巴赫猜想。先天命题与先天真理的关系是：先天命题不一定是先天真理；先天命题的否命题也是先天命题，二者中为真者才是先天真理。
克里普克不自觉地利用了上述区分，但没有真正领会其实质意义。在他那里“不是必然为真”可以与“必然为真”相对，而“必然为真”既可以与“偶然为真”相对，也可以与“必然为假”（乃至“偶然为假”）相对，这种混乱导致了克里普克认为“先天”与“必然”可以分离。
克里普克“先天”与“必然”的分离
对于哥德巴赫猜想，克里普克说，这个问题（the question）可以被证明是任何一种情况（即哥德巴赫猜想既有可能是对的，也有可能是错的），在没有数学证明决定这个问题（this question）的时候，关于这个问题（this question）在任一方向上都没有人有任何先天的知识。我们不知道哥德巴赫猜想是真还是假，所以现在我们当然不知道任何关于它的先天的事情（anything a priori about it）50。
克里普克三次使用了“这个问题”（the question, this question）。从上下文容易确定，“这个问题”指“哥德巴赫猜想为真还是为假”（whether Goldbach’s conjecture is true or false）。克里普克“所以现在我们当然不知道任何关于它的先天的事情（anything a priori about it）”则有些不确定。“它”虽然指“这个问题”即“哥德巴赫猜想为真还是为假（whether Goldbach’s conjecture is true or false）”，克里普克的结论等于：“所以现在我们不知道关于哥德巴赫猜想为真还是为假的任何先天的事情”，可是“关于它”（about it）却是个模糊字眼，如果指“哥德巴赫猜想到底为真还是为假”，那么关于“哥德巴赫猜想到底为真还是为假”的先天的证据，我们当然是没有的，是不知道的。可是在同样的意义上，我们也不知道任何关于“哥德巴赫猜想为真还是为假”的“后天的”事情！----我们甚至连关于它的“后天的事情”可能是什么样的都不知道。克里普克的结论“所以现在我们当然不知道任何关于它的先天的事情（anything a priori about it）”，其实应该删除“先天的”一词，成为“所以现在我们当然不知道任何关于它的事情（anything about it）”----而这实则不过是“我们不知道哥德巴赫猜想是真还是假”，与前提是一样的。如果“关于它……的事情”指有关哥德巴赫猜想为真为假方面的事情，如指“如果哥德巴赫猜想为真、其为真是必然的”，那么克里普克甚至是错误的----我们当然知道关于哥德巴赫猜想的这些先天的事情，我们先天地认识到了这些事情51。
稍后克里普克讲道，虽然有人说，只要“每个偶数可以写成两个素数之和”（这是哥德巴赫猜想）是真的，则它就是必然的，但我们并不能由此推出，任何人对此（it）知道任何先天的事情。他议论道，对于他来说，如果没有更多的哲学论证，连有人能够（could）知道关于它（it）的任何先天的事情这个结论，甚至都不能得出52。
在这种说法中，克里普克同样使用了“关于它”的这个词，“连有人能够（could）知道关于它（about it）的任何先天的事情这个结论，甚至都不能得出”中的“关于它”（about it），也不可能是指诸如“如果它为真，则为真就是必然的”等，这是我们先天地认识了的；所以还是指哥德巴赫猜想到底为真还是为假这件事。对此我们事实上确实还不知道，无论是先天地还是后天地知道----而不仅仅是没有先天地知道，好像我们后天地知道似的。
由此可见，克里普克借哥德巴赫猜想所下“先天”、“必然”可以分离的结论，即虽然哥德巴赫猜想无论为真为假，都是必然的，但我们并没有先天地认识到它为真或为假，所以“先天”与“必然”是分离的，完全是错误的。在古典数学观之下53，所谓必然者，是指哥德巴赫猜想是先天命题（即不管它为真为假，都是必然那样的），这恰是我们先天地认识了的（这并不要求哥德巴赫猜想为真）。至于克里普克所谓我们尚未“先天地认识哥德巴赫猜想为真或为假”，确实不假，但是正如刚才所说，我们也没有后天地认识哥德巴赫猜想为真还是为假，而是无所认识。这个例子有违于他讨论认识方式的出发点，由于没有认识哥德巴赫猜想为真还是为假，谈不上事实上怎么认识它。