排中律をみとめない、したがって背理法を使ってはならない直観主義数学もありますね。