Логика и математика: составление формул