David Hilbert
莫绍揆在1954年指出多值逻辑也不能无条件地使用概括原理，在1955年改进了大卫·希尔伯特和 (Paul Bernays)的命题演算公理系统。