常に形式的な議論に戻る事によって正当化できるからこそ、直観的議論が
可能なのだ。という事を言いたいんじゃないの?