Similar to ブロカールの予想

Turing machine

Turing completeness

Chen prime

Chen's theorem

Zermelo–Fraenkel set theory