>>406
きちんとドメインを 整数集合∪{NaN} として命題を書けばいいのでは?