情報統合思念体への手紙

16号廃墟へ向かう道

センテンス 14 順序数の加法

 P,Q,R,......:センテンス

とする.

問 太郎は前から5番目である.太郎の後ろには6人いる.全体で何人いるか?

(解答)

 P:太郎は前から5番目である

 Q:太郎の後ろには6人いる

と置く.このとき P,Q \vdash P∧Qより

 P∧Q:5+6=11

 したがって全体は11人から構成される.▢