Tentando aprender a traduzir a partir dos exemplos de tradução humana.
A partir de tradutores profissionais, empresas, páginas da web e repositórios de traduções disponíveis gratuitamente
hilbert uses the playfair axiom form, while birkhoff, for instance, uses the axiom which says that "there exists a pair of similar but not congruent triangles.
Ο Χίλμπερτ χρησιμοποιεί τη φόρμα του αξιώματος playfair, ενώ ο birkhoff, για παράδειγμα ,χρησιμοποιεί το αξίωμα που λέει ότι "υπάρχει ένα ζευγάρι από όμοια αλλά όχι ίσα τρίγωνα".