We have the following indirect implication of form equivalence classes:

66 \(\Rightarrow\) 367
given by the following sequence of implications, with a reference to its direct proof:

Implication Reference
66 \(\Rightarrow\) 367 clear

Here are the links and statements of the form equivalence classes referenced above:

Howard-Rubin Number Statement
66:

Every vector space over a field has a basis.

367:

There is a Hamel basis for \(\Bbb R\) as a vector space over \(\Bbb Q\).

Comment:

Back