Обычно говорят что в формальной системе, аксиомы это предложения, которые

Question

всегда имеют значение "истина".

Вопрос в моём стиле:

Что если в формальной системе аксиомы будут иметь какие-то, например, строковые значения?

0

17.01.2023

28 просмотров

То есть если я хочу интерпретировать в виде строк, то у меня не логическая теория, а какая-то алгебра, так?

0

18.01.2023

Alexander Chichigin · Accepted Answer

Вы логическую теорию в виде строк хрен проинтерпретируете. А вот моноиды — легко. Как и почти все остальные алгебраические структуры.

0

18.01.2023