Re: Gabriel - Warum es die Welt nicht gibt
Verfasst: 29. Mai 2018, 11:53
Umgekehrt: wenn du so etwas vorschlagen möchtest, dann liegt die Beweislast bei dir, dass dieses System konsistent ist.
Wie könnte ich denn beweisen, dass die Mengen U = {a1,a2} und a2 = {a1,a2} konsistent zueinander sind? Irgendwie sieht das trivial aus, aber ich weiß nicht recht, wie man so einen Beweis angeht. Siehst du denn Anhaltspunkte für eine Inkonsistenz, wie es seeker tut?