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.
Definition of formulable in US English:
formulable
adjectiveˈfôrmyələbəlˈfɔrmjələbəl
Capable of being formulated.
可公式化的；可用公式表示的
easily formulable propositions
Example sentencesExamples
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.