Logik matematik - Bahasa lain