The languages in the polynomial hierarchy, PH, correspond to all of second-order logic.
Οι γλώσσες στην πολυώνυμο ιεραρχία 'PH' , αντιστοιχούν σε όλες τις λογικές δεύτερης τάξης.