Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Aufg. 9.3b Sorted Set - Axiome, minimale Anzahl?
Hallo,
spannend ist ja, wieviel Axiome minimal ausreichen.
Zuviele geht ja leicht, da aus Axiomen ja fast beliebig viele Folgerungen gezogen werden können,
die sinnvollerweise dann eben nicht zu den Axiomen zählen.
Ich wäre daran interessiert, was ihr als Minimum habt.
Bei mir sind es z.Z. 7.
Jetzt bin ich auf 9 Axiome hochgegangen,
aber die Gefahr von Redundanzen steigt natürlich…
oh sh…
jetzt hab ich 10.