Conjugation of Metamathematics