 But these remarks have been about foundations, and mathematics is not its foundations. Hence there is a further independent motive, to see what mathematical structure remains wherever the constraint of consistency is relaxed. But it would be wrong to regard this as in any way a repudiation of the structures studied in classical mathematics: inconsistent structures represent an addition to known structures.