2 formalism: 수식체계