質問編集履歴
2
タグを追加
test
CHANGED
File without changes
|
test
CHANGED
File without changes
|
1
冗長な表現を修正
test
CHANGED
File without changes
|
test
CHANGED
@@ -6,7 +6,7 @@
|
|
6
6
|
|
7
7
|
なぜなら、「可能である」ことを示すには実際に実行してみせるだけでよいのに対して、
|
8
8
|
|
9
|
-
「不可能である」ことを
|
9
|
+
「不可能である」ことを示すためには[背理法](https://ja.wikipedia.org/wiki/%E8%83%8C%E7%90%86%E6%B3%95)を使うか、
|
10
10
|
|
11
11
|
始めからそのような機能・能力が備わっていないことを証明してみせる必要があるからです。
|
12
12
|
|