О разрешимости релевантной системы RAстатья