>>286
>適当に公理を付け加えた体系T'では普通に証明できて何も困らない

それは分かってる、ってば。

でもさ、「証明したい定理を公理に加えた体系T'」では、その定理は
証明できるよねwww