Статистическая физика (термодинамика и кинетика) отличается от остальных разделов физики именно по понятию статистического ансамбля. В остальных разделах физики подразумевается, что модель максимально отображает точное состояние физической системы. В статфизике делается явная оговорка, что это не так: модель отображает наше незнание точного состояния системы. Берётся какая-то точная модель из другого раздела физики, и дальше делается вот что: пространство всех возможных состояний системы сопоставляется с какими-то вероятностями, что система в этом состоянии окажется. Подразумевается, что наше знание о системе неполно, и соответствует не одному точному состоянию, а подобному множеству состояний с каким-то распределением вероятностей. Такое (взвешенное) множество возможных систем и называется ансамблем. И дальше это распределение может как-то задаваться, уточняться, а если система меняется во времени - то и распределение испытывает изменения (эволюцию) во времени. Можно вводить понятия равновесия, макросостояния, подсистемы, энтропии, и так далее - всё на основе этой идеи.
И одним из довольно простых следствий такого представления является то, что это множество состояний не может уменьшать своего объёма по сравнению с исходным. А чтобы привести систему, находящуюся в термодинамическом равновесии с резервуаром, в состояние абсолютного нуля, необходимо занулить и этот объём. И никаких "независимых аксиом" не нужно.
извиняюсь вы сейчас про объем какого множества состояний толкуете, о теореме Лиувилля - сохранении фазового объема в консервативной системе. Ну так собственно принцип недостижимости не имеет отношение к консервативным системам. У нас же вовсе наооборот система
S открытая, обменивается энергией с несколькими тепловым резервуарами
и после серии k процессов взаимодействия нам бы хотелось, что бы системы S выполнялось
- то есть система падала в свое низшее состояние(за счет нарастания энергии тепловых резервуаров). А раз так то и теорема Лиувилля непременима. Или речь идет о другом объеме? Если это не объем фазового пространства, а некий другой, тогда приведите определение это объема.