11/11/03 08:51:45.25
二次的であれば重要度が減る。
三次、４次、とつづく研究をするか？
ある定理を証明するのに、ある公理系が必要十分であることを証明できたら、
次に、そのメタ証明を証明するのに、必要十分な公理系を証明する、
そのメタメタ証明を、、、
あ、私は135とは別人ね
11/11/03 08:51:45.25
二次的であれば重要度が減る。
三次、４次、とつづく研究をするか？
ある定理を証明するのに、ある公理系が必要十分であることを証明できたら、
次に、そのメタ証明を証明するのに、必要十分な公理系を証明する、
そのメタメタ証明を、、、
あ、私は135とは別人ね