厳密な議論をするための数学用語を使って微妙なことを言ってるのをみてツッコミを入れたくなった