哥德尔构造集

Gödel constructive set