あの表徴は酷さだ
fact1: 「あの表徴は出生しない一方で無矛盾性だ」ということは成り立つということはない fact2: 「あの表徴は出生しないけど無矛盾性だ」ということは成り立たないとするとそれは酷さでない
$facts$ = fact1: 「あの表徴は出生しない一方で無矛盾性だ」ということは成り立つということはない fact2: 「あの表徴は出生しないけど無矛盾性だ」ということは成り立たないとするとそれは酷さでない ; $hypothesis$ = あの表徴は酷さだ ; $proof$ = 
事実1: 「あの表徴は出生しない一方で無矛盾性だ」ということは成り立つということはない
事実2: 「あの表徴は出生しないけど無矛盾性だ」ということは成り立たないとするとそれは酷さでない

仮説: あの表徴は酷さだ