LEM und Fallunterscheidung
1. Satz
In intuitionistischer Logik sind Fallunterscheidungen i.A. nicht zulässig, da
In speziellen Fällen, in denen die Definition eine Bestimmtheit garantiert, sind Fallunterscheidungen zulässig (z.B. Diaconescu's theorem)