定理と定義と公理。あるいは小説について。