ページ「直観主義型理論」に戻る。