順序数解析の人は大抵そうだけど、
竹内外史の場合は特に、「有限の立場」という言葉を
他人と違う意味で使うので。

まあ昔は有限の立場内で証明したと言い張らないと
相手にされないような状況があったんだろうとは思うけどね。