Invia SMS: Аксиоматика конечных точечных систем