自然数論を含まないような数学的体系って考えられないの?