>>641の0#とはこれでしょうか
https://en.wikipedia.org/wiki/Zero_sharp
ただ、これはどう見てもメタ数学的な内容なのでは…