Conjugaison de Metamathematics