"complete ordered field" Deutsche bedeutung