He wanted to have a precise way of stating results and of proving them, for he realised the difficulties of using ordinary language which was necessarily imprecise and ambiguous.
Siya nais na magkaroon ng isang tiyak na paraan ng stating mga resulta at ng proving sa kanila, para sa siya realised ang paghihirap ng mga gamit ang karaniwang wika na kung saan ay kinakailangang imprecise at hindi siguradong kayarian.