User blog comment:Ubersketch/A proposal for a standard/@comment-34422464-20190813205023/@comment-35470197-20190814082545

I see. It makes sense. Anyway, it is good for him to notice that he needs to learn more elementary notions, even though he usually talks about highly difficult topics such as OCFs, large cardinals, oracles, formal logic, higher order set theory, and so on. Although we often observe such words in this community, they are not placed as common knowledge, and we do not have to feel shame if we do not know them. (I personally feel shame if I stated wrong propositions on some topic as if it were obviously true for me.)