証明法の多様性:列举法、帰謬法、構成法など