Der Beweis sieht sein eigenes Gegenteil vor durch das Rechensystem zu dem er gehört (gehören wird).