ML-1991-02: Berarducci, Alessandro and Verbrugge, Rineke (1991) On the Metamathematics of Weak Theories. [Report]