Logic must look after itself. In a certain sense, we cannot...

Logic must look after itself. In a certain sense, we cannot make mistakes in logic.