Metamathematics of Elementary Mathematics