The simplest of the substitute axioms was suggested by him in 1969.

• 最简单的代替公理是在1969年由他提出的。