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