Relations:
Practically done

Ordinals:
In progress

Functions and Operations:
In progress

Transfinite Induction:
Practically done

Transfinite Recursion:
In progress

Addition:
Not done

womc3k's Axiom of Repairment Completion:

AAAAAAA