>>703
>コードは論理式そのものではない
集合へコード化された関数は関数そのものではないと? ZFC集合論を、ひいては現代数学を全否定したいのかな?