Axiomatic Treatment of Rank in Infinite Sets