現行数学と違わないならなんで身内以外誰も理解できず形式化もできないの?