>>461
直観主義論理を部分として含む数学理論ではこの定義で通用する
ならいいかな?