Методология: инвариантность и полиморфизм