In 1958, John Myhill discovered that the antinomy considered here was formulable in Church's system. |
|
Notice also that if T is a formalized axiomatic system, then the statement that T is consistent is itself finitary, formulable using a letter for generality. |
|