やはり空想でなく事実を追求する数学こそ完全な学問なのかな。