koteitan is a user on googoldon.net. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

集合論で算術を再現して、その算術でバシク行列を再現ってのも二度手間だし、将来のこと考えると直接集合論でバシク行列を再現したほうがいいかもしれないが、2階算術との関係を証明するうえで

いっぺんにやらないで別々にすすめてもいいが

順序対を表現するのに掛け算を使うが掛け算、というか関数の表現に順序対をつかってループしてるんだよな

koteitan @koteitan

@KurohaKafka 「順序対を表現するのに掛け算を使う」そんな方法があるんですか。

@koteitan
二つの異なる素数p,qをして、たとえば<2,3>なら
\(p^2\cdot q^3=p\cdot p\cdot q\cdot q\cdot q\)
という具合です