Statement:

Every vector space over a field has a basis.

Howard_Rubin_Number: 66

Parameter(s): This form does not depend on parameters

This form's transferability is: Not Transferable

This form's negation transferability is: Negation Transferable

Article Citations:
Hamel-1905: Eine Basis aller Zahlen und die unstetigen Losungen der Functionalgleichung: \(f(x+y) = f(x) + f(y)\)

Book references

Note connections:

The following forms are listed as conclusions of this form class in rfb1: 66, 67, 110, 367, 428, 346, 1,

Back