... aimed at finding a precise description for the mathematical structure of formalised logical systems.
... naglalayong sa paghahanap ng isang tiyak na paglalarawan para sa matematika istraktura ng formalised logical system.