Cтраница 2
Таким образом, НА есть подсистема FA с точки зрения выводимости. Тем не менее многие обычные арифметические факты выводятся в НА так же успешно, как и в ЕА. Мы будем предполагать, что читатель имеет определенный опыт построения формальных выводов в FA ( опыт этот можно почерпнуть в стандартных учебниках Мендельсона [1] или Клини [2], причем в последнем автор специально отмечает интуиционистский характер выводов), и не будем вдаваться в подробности, если содержательное доказательство непосредственно переводится в интуиционистский вывод. [16]
Поэтому проблема разделения термодинамических параметров ( отнесение суммарных термодинамических характеристик отдельно к катиону и аниону) решается на основании модельного расчета. Поскольку разные авторы используют различные модели [173, 347, 228], значения свободных энергий, энтальпий и энтропии определенных процессов для отдельных ионов, приведенные в разных работах, могут не совпа-дать. Следует учитывать, что степень достоверности получаемых экспериментально суммарных термодинамических характеристик в различных работах далеко не одинакова. Поэтому характер выводов о сопоставлении термодинамических свойств отдельных ионов в различных растворителях пока что только качественный. [17]
Как и ранее, будем предполагать, что пленка стабилизирована испарением, а имеющаяся в ней конвекция поддерживает концентрацию электролита одинаковой вдоль всей пленки. Будем считать, что пленка имеет постоянную толщину. Пренебрежение реальной формой мениска и пленки качественно не меняет характер выводов и позволяет получить вполне обозримые формулы. Результаты имеют даже количественную степень точности, если экспериментально удается исключить вклад мениска. Как будет показано ниже, характерная длина электрохимического процесса обычно значительно превосходит толщину пленки, так что можно пользоваться одномерным приближением, которое было описано в гл. [18]