数学者はこれで論破できる

数学者「命題Pが真！」
俺「でも偽の可能性もあるよね？」
数学者「証明したから真に違いない！」
俺「うん、それはいいんだけどnot Pが証明できる可能性はあるよね？」
数学者「うっ...」(泣きそうな顔になる)
俺「数学が無矛盾であることを証明できるの？」
数学者「...できないです、調子こいてすみませんでした」(涙ポロポロ)