12/02/05 21:09:49.50
どんな言語でも、述語記号・関数記号・定数記号が全部有限なら、
小細工することで極小な言語にすることが出来ますね。
公理が極小というのが無意味なのと一緒。最小は勿論無理ですが。
12/02/05 21:09:49.50
どんな言語でも、述語記号・関数記号・定数記号が全部有限なら、
小細工することで極小な言語にすることが出来ますね。
公理が極小というのが無意味なのと一緒。最小は勿論無理ですが。
12/02/05 21:09:49.50
どんな言語でも、述語記号・関数記号・定数記号が全部有限なら、
小細工することで極小な言語にすることが出来ますね。
公理が極小というのが無意味なのと一緒。最小は勿論無理ですが。