[qbit42]

It is nicer to state theorems that hold for all vector spaces, so mathematicians like to invoke AoC. However, in any applications that are practically relevant, you can obtain a basis without invoking AoC.