超数学 (ちょうすうがく) — metamathematics | Kumi Dictionary