Logik vollständig,推