Добрый вечер всем Вопрос такой, как можно доказать неполноту системы функций в k значной логике? Полноту доказываем сведением к заведомо полным, а неполноту не знаю как доказать
Добрый вечер всем Вопрос такой, как можно доказать неполноту системы функций в k значной логике? Полноту доказываем сведением к заведомо полным, а неполноту не знаю как доказать