Elements of metamathematical and informational calculus