Capable of being formulated:easily formulable propositions...
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.
In 1958, John Myhill discovered that the antinomy considered here was formulable in Church's system.