За исключением того, что запись там неполная (вроде отсутствия квантора и множества, которому принадлежит a), не вижу существенных ошибок
в математике не существенных ошибок не бывает потому как мы тут претендуем на общее а и приводим очень ЧАСТНЫЕ примеры но так и быть перепишу 0а=0 ; а≠0 это то что вы хотели написать? где ошибка в этой записи?