恒真式こうしんしき<こう'しん>･しき3

LogikTautologie