Сигнатура (математическая логика): различия между версиями