PV1

PV1 adalah seperangkat axiom yang populer digunakan dalam penelitian metamatematika untuk membuktikan teorema tentang kompleksitas komputasi. Axiom ini cukup kuat untuk membuktikan beberapa teorema penting di bidang tersebut.