"formally true proposition" Deutsche bedeutung