Доказано, что необходимым условием того, чтобы консервативные аксиоматические расширения бесконечнозначной (или
![$n$](/math_tex/55a049b8f161ae7cfeb0197d75aff96782.gif)
-значной) логики Лукасевича обладали свойством определимости Бета, является наличие в языке этих расширений счетного множества (соответственно множества мощности
![$n$](/math_tex/55a049b8f161ae7cfeb0197d75aff96782.gif)
) неэквивалентных относительно данных расширений константных термов.