Template‐ノート:Classes of natural numbers