2
$\begingroup$

Is there a reasonably simple example of an infinitary proof in logic? I need mostly an example in which the total height or level of a derivation is infinite, i.e. there is at least an axiom from which we begin somewhere and applying inference rules we end with a theorem after infinite steps.

  • 0
    Is induction over the integers an *infinitary proof*?2011-07-14
  • 1
    See [Infinitary Logic.](http://en.wikipedia.org/wiki/Infinitary_logic)2011-07-14
  • 2
    For some reason I don't believe his justification for asking this question.2011-07-14
  • 0
    I thought lie.teller was just paying homage to Sophus and Edward.2011-07-14

3 Answers 3