We use cookies to enhance your experience on our website. By continuing to use our website, you are agreeing to our use of cookies. You can change your cookie settings at any time.ContinueFind out more
‘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.’