Nein, das tut es nicht. Es handelt sich um ihrer Verwendung klar abgrenzbare Terme in ihren Fachgebieten. Ein Äquivalenzbeweis beweis keine Aussage, sondern eine Relation zwischen Aussagen. Die können allesamt zugleich wahr oder flasch sein, das spielt keine Rolle. das wurde nun schon mehrfach erläutert und entspricht der Darstellung der von Dir selbt angebrachten Quellen. Bitte hör auf. -- Leif Czerny 19:28, 30. Sep. 2020 (CEST)