Title: Metamathematical Investigation of Intuitionistic Arithmetic and Analysis