Генератор аксиом представляет собой Windows-приложение, автоматизирующее поиск пропозициональных формул, позволяющих идентифицировать те или иные логические операции. Поддерживаются унарные и бинарные операции.
Программа имеет несколько режимов работы:
1) проверка формул, набранных вручную,
2) автоматический поиск формул по критериям.
Программа может быть предложена исследовательским лабораториям, выполняющим фундаментальные исследования в области пропозициональной логики.