English Dictionary

Metalogicians convened at the conference to debate the limits of formal proof.

メタ論理学の専門家たちが会議に集まり、形式的証明の限界について議論した。