Die Annahme, die Quadratwurzel der Zwei sei eine rationale Zahl, ''impliziert'' nach dem bekannten Beweis Euklids einen Widerspruch zu dieser Annahme.
''in einer Aussage:'' mit aussagen/ einschließen; ''auch ohne es ausdrücklich auszusprechen''