>>561
ZFC:   構成的− 可述的− 構成可能−
ZFC+V=L: 構成的− 可述的− 構成可能+
KPω:   構成的− 可述的+ 構成可能−
KPω+V=L: 構成的− 可述的+ 構成可能+
CZF:   構成的+ 可述的+ 構成可能−
?:    構成的+ 可述的+ 構成可能+
?:    構成的+ 可述的− 構成可能−
?:    構成的+ 可述的− 構成可能+
誰か最後の3つを埋めてくれ。