Equivalent statements in concise forms: A system cannot prove itself by using explanations within itself. A system in thermal equilibrium...
Separate names with a comma.