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.