クルト・ゲーデル
Kurt Gödel was harshly critical of the notation: