Informasi yang berkaitan dengan ja/実効的記述集合論