  The paper considers the martingale theory in the $G$-framework. A form of
Doob's optional sampling is established, which allows to prove the exact
analogue of the classical maximal inequality. The obtained results are used to
improve the existing $G$-martingale representation theorems.
