任意に取った実数が整数であるかどうかはどう判定するの？

任意に取った実数が整数であるかどうかはどう判定するの？ (29ﾚｽ)
上下前次 1-新

3: 07/27(日)09:38 ID:gyLqTiX6(1) AAS
Pを自然数nに対する述語とする
実数xの小数第n位を、P(n)が真なら1、偽なら0で定める
Pとして、∃nP(n)が数学では証明も反証も不可能なものを取ってくれば、判定できない