Lösung von Aufgabe 3.5 (WS 19 20)

Kommentieren Sie den folgenden Definitionsversuch:

Definition: (gleichschenkliges Dreieck)

Es gibt Dreiecke, die zwei zueinander kongruente Innenwinkel haben. Diese Dreiecke heißen gleichschenklige Dreiecke.

Antwort: real formal --Emiliam (Diskussion) 09:40, 4. Nov. 2019 (CET)

Implizit enthält einer der beiden Sätze eine Definition. Aber...
Kann man den anderen Satz beweisen? --Tutorin Laura (Diskussion) 20:25, 5. Nov. 2019 (CET)