Intro to Metamathematic (Bibliotheca Mathematica, a Series of Monographs on Pure and)