Discussing the characteristic axiom of that necessity implies double necessity Church says: According to the present theory, the answer to this question depends on what concept of the proposition is employed.