20 déc. 2007 ... Lemme 1.5 (Correction) Le syst`eme NK est correct : tout jugement dérivable en
NK ...... (Voir le livre [6], qui en contient un catalogue, datant de 1979.) .... (
formellement, si m = ?i mi2i, n = ?i ni2i, alors ?m, n? = ?i mi4i + 2?i ... 
