Axiomatizing

2 letters • 3 letters • 4 letters • 5 letters • 6 letters • 7 letters • 8 letters • 9 letters • 10 letters