>>494
ふわっとした話になってきたな
公理とか用語が謎だし