However he also showed that linear sentence systems do have independent axiom systems.
Ngunit siya rin ay nagpakita na sa guhit na pangungusap system ang ginagamit ng magkaroon ng independenteng axiom system.