จำนวนชั้น constructible