[kisoron-ml] quantum set theory