Tulis pernyataan matematika, menggunakan simbol: There exists at least one non-negative integer(ditulis sebagai E, penjumlahan eksistensial) All non-negative integers(ditulis sebagai A, quantifier universal) + (tambahan) * (perkalian) = (persamaan) >, <(operator pembanding) &(dan),...