[일반] 이런 증명은 잘못된 방법임?

[익명(211.104)]

수학에서 A라는 사실을 툭 던져주고

그걸로 B를 유도함

근데 A를 증명할때 B를 사용하는건 잘못된거?

[익명(223.38)]

어지간하면 틀렸을걸

[익명(175.223)]

에초에 증명은 공리를 필연적으로 요구함. A를 증명한다는 말은 그 시작에 선택된 공리가 이미 있다는 거지. 거기에 B가 포함돼있으면 B를 사용해도 될테고 아니라면 그리고 B를 사용하려면 B도 증명해야하는 거고.

[익명(72.33)]

because a is true, b is true. We know b is true because a is true.

[익명(89.71)]

당연히 틀렸지 맞겠냐?