Schnittaxiom (Vollständigkeit)
1.
Axiom
TODO: über
dedekindsche Schnitte
Date: nil
Author: Anton Zakrewski
Created: 2024-10-11 Fr 21:39