>>41
＞形式化を考えないなら、

41＝35＝8　でしょうか？

>>8のいわれる「形式化」は「公理の明示」の意味ですね。
もちろん、いかなる公理に基づいているかは明示する必要があります。
（もっとも、これを「形式化」という人はあなただけですが）

>>18のいわれる証明は知らないので、なんともいえません。