11/10/30 15:21:32.34
>>41
＞形式化を考えないなら、
41＝35＝8 でしょうか？
>>8のいわれる「形式化」は「公理の明示」の意味ですね。
もちろん、いかなる公理に基づいているかは明示する必要があります。
（もっとも、これを「形式化」という人はあなただけですが）
>>18のいわれる証明は知らないので、なんともいえません。
11/10/30 15:21:32.34
>>41
＞形式化を考えないなら、
41＝35＝8 でしょうか？
>>8のいわれる「形式化」は「公理の明示」の意味ですね。
もちろん、いかなる公理に基づいているかは明示する必要があります。
（もっとも、これを「形式化」という人はあなただけですが）
>>18のいわれる証明は知らないので、なんともいえません。