Talk:Epsilon-induction

Latest comment: 13 years ago by 65.94.11.123

Is epsilon-induction written as -induction (\in-induction) or -induction? —Preceding unsigned comment added by 65.94.11.123 (talk) 05:40, 27 March 2011 (UTC)Reply