>>368
数学の論理の道筋を正確に追おうとすれば、必然的に必要となってきます