Leon Gumański

NC1 If in a k–stage tableau–construction of t there is a homogeneous tableau T which fulfils the condition formulated in the antecedent of the foregoing Corollary 3.1, then the construction is not closed and no proof of t is possible. ... It will probably not do to say as much as that to explain what for us will count as the diagonal method ... ................
................