>>954
おっと君は公理って言っていなかったっけ。
>>480あたりに、定義の話を盛んにやっている人がいるから聞けば良い。