>>237
これって225へのレスじゃないよね？
それから、ここの｢操作的意味論｣は｢公理的意味論｣の間違い？
それから、操作的意味論を意味論などと呼ぶから話がおかしくなるのでは？