释义 |
formulable /ˈfɔːmjʊləb(ə)l / /ˈfɔːmjʊləb(ə)l /adjectiveCapable 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.
|