Что создает доказательство на основе аксиомы выбора?