整列可能整理を基礎に据えたラッセルの議論を
形式と内容を取り違えているとして批判したポアンカレが
示唆したのがツォルンの補題だったが
結局は両者は同等であった