Extension (logic)