You have chosen , First-order Logic, 2nd-order, Completeness and .
All three must be different; choose another text.