Simbol natural : dasar logika untuk matematika dan informatika