特定のMPUの話じゃなければ充分メタな話出来るだろ…。
そういう命令セットの定義とかも数学の範疇じゃないのか?