Euler的定式化