Thus, the question "is P a proper subset of NP" can be reformulated as "is existential second-order logic able to describe languages (of finite linearly ordered structures with nontrivial signature) that first-order logic with least fixed point cannot?".
Έτσι, το ερώτημα "είναι 'P' ένα κατάλληλο υποσύνολο του 'NP' » μπορεί να αναδιατυπωθεί ως «είναι η υπαρξιακή λογική δεύτερης τάξης σε θέση να περιγράψει τις γλώσσες (πεπερασμένων γραμμικά διατεταγμένων δομών με μη τετριμμένη υπογραφή) ότι η λογική πρώτης τάξης με τουλάχιστον σταθερό σημείο δεν μπορούν; »., .