David Hilbert was the first to invoke the term "metamathematics" with regularity (see Hilbert's program).
大卫·希尔伯特首先引进了带有正则性的“元数学”（metamathematics with regularity）这一说法（见希尔伯特计划）。