＞関数を集合論の議論対象である集合で言い表す
＞論理式を算術の議論対象である自然数で言い表す
＞同じじゃんｗ

数理論理のド素人　わけもわからずドヤり死ぬ