>>163
それが最低限必要な公理なのならもはや作為性ないじゃん
公理系の内容も踏まえて議論できないの?