3 ms·

I'm no expert, but as I understand induction is also a form of this kind of "case reasoning", so to get anything much done you will have to introduce some extra

by htns 12y ago

I'm no expert, but as I understand induction is also a form of this kind of "case reasoning", so to get anything much done you will have to introduce some extra axioms, even if you omit the excluded middle.

sukilot 12y ago
Deduction not induction, but yes.