"archimedean total order" Deutsche bedeutung