For anyone wondering what PA stands for, after a few minutes digging I came across a subsection of this P versus NP Wikipedia Article [1] which lead to this art

For anyone wondering what PA stands for, after a few minutes digging I came across a subsection of this P versus NP Wikipedia Article [1] which lead to this article about Peano Axioms[2]. My guess would be it stands for Peano Axioms or Peano Arithmetic, which is a formalized system of reasoning about natural numbers -- if I understand the first couple sentences of the Wikipedia article. 1. https://en.wikipedia.org/wiki/P_versus_NP_problem#Results_about_difficulty_of_proof https://en.wikipedia.org/wiki/P_versus_NP_problem#Results_ab... 2. https://en.wikipedia.org/wiki/Peano_axioms https://en.wikipedia.org/wiki/Peano_axioms