  We give axiomatic foundations for non-finitary infinite matroids with
duality, in terms of independent sets, bases, circuits, closure and rank. This
completes the solution to a problem of Rado of 1966.
