Элементар математик күзаллаулар формалаштыру