 A more formidable problem is that John Myhill was able to derive a version of the so-called “Russell-Myhill paradox (RM)” within Church’s initial formulation of LSD (see Myhill 1958). In response, Church reformulated LSD by ramifying the relation \(\Delta\) (1973–4). In response, Anderson (1987) showed that the source of the inconsistency of LSD lay in its axioms. We turn to the subject of antinomy and paradox and their impact on Church’s work in the next section.