Task: Translation
Input (Tagalog): Tagalog sentence: Ang unang malaking text siya nai-publish sa komunidad, na kung saan ay batay sa panayam ng kurso niya na binigay, ay Panimula sa pundasyon ng matematika (1952).
Output (English): The first major text he published on foundations, which was based on lecture courses he had given, was Introduction to the foundations of mathematics (1952).