«Lógica matemática» em inglês com tradução paralela