この記事は Math Advent Calendar 2015 の 23日目の記事です。（22日目：実数の実体） 昨日の記事は、さわらさん（@sawara0804）による「実数の実体」というお話でした。私の琴線にヒットしそうなお話で大変興味があるのですが、すみませんまだ読めていませ…