不同类型的语句在产生信念之谜的可能性上存在差异,这可以支持分析语句或分析命题存在这一论点。为达到这个理论目的所采用的论证策略是这样的:第一步,根据所定义的主观翻译原则与客观翻译原则,考虑各种不同的实义词,从日常对象到人工物语词,到像单身汉这样的语词,含有所有这些语词的语句都有产生信念之谜的可能性。然后,考虑按通常的标准被认为是综合的或分析的语句,发现仅仅从分析语句还不能构造克里普克的信念之谜。第二步,论证在分析与综合区分不存在与不同语句产生信念之谜之可能性上的本质差异不存在之间有一种类似蕴涵的关系。因为已经证明分析语句与综合语句在产生信念之谜的可能性上有实质差异,故可以推出分析性的存在性。