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.
Example of infinite proof
2
$\begingroup$
logic
-
0Is induction over the integers an *infinitary proof*? – 2011-07-14
-
1See [Infinitary Logic.](http://en.wikipedia.org/wiki/Infinitary_logic) – 2011-07-14
-
2For some reason I don't believe his justification for asking this question. – 2011-07-14
-
0I thought lie.teller was just paying homage to Sophus and Edward. – 2011-07-14