3 ms·Well the technical qualification for that theorem is that Law has to be able to express Peano Arithmetic.by Tainnor 6y agoWell the technical qualification for that theorem is that Law has to be able to express Peano Arithmetic.