generated at
パースの法則
直観主義論理では成り立たない

関連