Frege's Basic Law V, which grounds the one-to-one correlation in P2, was proven inconsistent by Russ...