Intensional Mathematics