Rosser (1939) formally identified the three notions-as-definitions: All three definitions are equivalent, so it does not matter which one is used.
Росер (1939) је формално идентификовао три појма као дефиниције: "Све три дефиниције су еквивалентне, тако да није битно која се користи."