It should be noted that the truth of this theorem depends on the truth of Archimedes' axiom, which is not first-order in nature.
Слід зазначити, що істинність цієї теореми залежить від істинності аксіоми Архімеда, яка не є першого порядку в природі.