Konventionsaussage ??
Konventionstautologie??
konventionstautologisch-definitorische Äquivalenzgleichung ??
Im Netz find ich nix dazu, wäre aber überrascht, wenn die Mathematiker dafür keinen Begriff hätten,die doch alles "bis zum Erbrechen" definieren um ja nicht bei Lücken ertappt zu werden und um alles auf unhintergehbare Grund-Axiome zurückführen zu können.
Ich wette, hj2166 oder unser Oberlehrer a. weiß das. Falls ich irre, spende ich 5 Euro für einen guten Zweck.