これは、npが存在量化二階述語論理の論理式で表現可能な言語の集合と正確に対応していることを示した。