>>87
1の（偽）コンパクト性推論

「任意の有限列で、その先に尻尾がない最後の箱があるから
　”箱入り無数目”の戦略が失敗するので、
　無限列でも、必ずその先に尻尾がない最後の箱が存在し、それゆえ
　”箱入り無数目”の戦略が失敗する」

もちろん、「（偽）コンパクト性推論」なるものは存在しない