Eigenschaften: Axiom
1.
Notwendig
Widespruchsfrei
2.
Ziel
möglichst "trivial"
möglichst einfach
Date: nil
Author: Anton Zakrewski
Created: 2024-10-11 Fr 21:23