Wenn die beiden ω-widersprechenden
Beweise wirklich vorliegen, dann wird es problematisch, was wir mit dem so bewiesenen & entkräfteten Satze anfangen können.