qqp question1: Why does Linux system consume more power than windows? question2: Does a theorem's independence of a formal system also imply that adding it as an axiom makes the system no more powerful?