Als symbol in einer first-order language, motiviert um die Negation einzuführen
Date: nil
Author: Anton Zakrewski
Created: 2024-10-11 Fr 21:35