2004-03-14 9:01 PM #14723 しらすキーマスター 論理学な皆の衆! 「恒真は直感とは独立に、推論の判定基準となり、推論を機械的、体系的 に扱うことを可能にするものである、ということです。ここから恒真は学問の 体系化にも有用であるということになります。」 という先生の有難いお言葉をこの場を借りてお伝えしておきます。 サンキュー・ソー・マッチ&ファイトォです!