人間誰でも分からない事はある。小平邦彦が自著で
「基礎論を学ぼうとしたが、forcing の概念がどうしても分からず、あきらめた」
と述べて居る。
大学に入って、対角線論法がどうしても分からず、数学をあきらめた学生に似ている。

私は個人的には、より model-theoretic な、 infinite forcing や finite forcing が好きだが。