You have chosen Hilbert,D/Ackermann,W, Carneades and Carneades.
All three must be different; choose another philosopher.