Нет, это не правда. Формулы Султанова могут выводиться из различных постулатов и аксиом, в зависимости от конкретной математической теории или системы аксиом, которые используются. Также следует отметить, что не все формулы Султанова могут быть выведены из постулатов Сосницкого.