t_wの輪郭

直観主義的シークエントは後件に高々1つの論理式しかないシークエント。