3 ms·
I don't think you can get the Hahn-Banach theorem with just countable choice. So you have to re-do a whole lot of functional analysis that depends on it.
by throwaway81523 4y ago
I don't think you can get the Hahn-Banach theorem with just countable choice. So you have to re-do a whole lot of functional analysis that depends on it.