ブルバキが引き合いに出される理由ってブルバキの思想の、
全部論理的に数学をやったら厳密だし完全に論理的なんだから人間にも
理解可能である、というのが誤解だったという文脈で出したほうが面白い。