On the difficulty of proving P=NP in ZFC #1 Post by frjalex » Sat, Aug 08, 2020, 7:58 PM UTC On the difficulty of proving P=NP in ZFCarxiv.org