Die Behauptungen "X ist Vater von Y" und "Y ist Vater von X" führen jedoch unmittelbar zu einem logischen Widerspruch, [..] halte ich für unglücklich formuliert. Das ist nämlich keineswegs unmittelbar ein logischer Widespruch, sondern erst mit dem Weltwissen, dass Vater-Sein eine asymmetrische Relation ist. Formal, d.h. ohne die Semantik, "unmittelbar" ist das erstmal unproblematissch... 20:33, 18. Jun. 2014 (CEST)