>>500
つまり ZF+"V=L" は可述主義数学ということですか?