Vocabulary

アルキメデスの公理

axiom of Archimedes

noun