Rosser (1939) formally identified the three notions-as-definitions: All three definitions are equivalent, so it does not matter which one is used.
Россер (1939) формально отождествил три понятия как определения: «Все три определения эквивалентны, поэтому не имеет значения, какое из них используется».