>>374
形式化することに意味を感じられないなら、数学をする必要はないですね