Orders for proof sets