不過，儘管一階邏輯不可判定，仍是“半可判定”的，即存在某個算法，滿足：对此算法输入一个一阶公式，如果这个一阶公式是普遍有效的，那么算法将在某一时刻停机；如果不是普遍有效的，那么算法将会永远不停地计算下去。
ɕr ɣ^r ɬqrɣ^ʑr tɕhqk ɬqɣk n ɬqr ɕr χɣr ʑr çqɣ^r ɣɣ^n ʁqr“ɕʑr χɣr ʑr çqɣ^r”çɣr ɬqn ʝn tsʑqr r ɣ^ɣr ʑr xʑr ʑr tsn çqr ʝqr ʑr xʑr ʁk r tɕhqk ɣ^ɣr tɕhqk ɬqɣk ɣ^ɣ^k ʁqr n ɣ^r tsʁɣr ɣ^ɣr tɕhqk ɬqɣk ɣ^ɣ^k ʁqr ʁqr r ɕqʑr tɕhr khqʑr çɣr ʑr ɣr ʑr xʑr ɬqʑɣ^k tsʑqr r tɕhqk ʁqn χɣr qɣ^n ɬqk n ɣ^r ɕr ʁqr r ɕqʑr tɕhr khqʑr çɣr ʑr ɣr ʑr xʑr ɬqʑɣ^k ʁqr tɕhɣ^r tɕhʑr ɕr qɣ^n çɣr ɬqr ʑr khqʑr r