ゲーデルは何も反証していない。