>>901
興味はあるかな。
説明はまあ公理的であればいいんじゃないかと。
それでも難しい。
私の思う説明は明示的というニュアンスがある。
だから、数学の公理、定理とは違うところはあるような気はしています。