 Employing abundant logical and mathematical tools, yet never attaining the goal, Carnap's formulations of inductive logic always held a universal law's degree of confirmation at zero.Kurt Gödel's incompleteness theorem of 1931 made the logical positivists' logicist reduction doubtful.But then Alfred Tarski's undefinability theorem of 1934 made it hopeless.