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

Нет описания правки
* '''''С''''' - множество символов констант
* и функции '''''ρ''''' - сопоставляющей элементам '''''R''''' и '''''F''''' их [[арность]].
 
{{rq|wikify|cat|sources|iwiki}}
{{math-stub}}