<과제 2>의 넓이와 둘레의 길이의 관계 문제에 대해서 진술이 성립하지 않는 반례를 제시하여 문제를 해결하는 것도 수학의 형식적 SMK로 간주할 수 있다.
Solving the problem by presenting a counterexample where the statement does not hold relative to the relationship between the area and the length of the perimeter in Task 2 can also be regarded as a formal SMK of mathematics.