Mabibilang (en. Countable)
Translation into Tagalog
He had proved that the real numbers were not countable by December 1873 and published this in a paper in 1874.
Niya na ang ang tunay na numero ay hindi countable sa pamamagitan ng Disyembre 1873 at nai-publish ito sa isang papel sa 1874.
Example taken from data source: ParaCrawl_v9 It states that if a theory within first-order predicate calculus has a model then it has a countable model.
Ito ng estado na kung ang isang teorya sa loob ng unang-order na totoo calculus ay isang modelo at pagkatapos ay ito ay isang modelo ng countable.
Example taken from data source: ParaCrawl_v9 Urysohn's main contributions, in addition to the theory of dimension discussed above, are the introduction and investigation of a class of normal surfaces, metrization theorems, and an important existence theorem concerning mapping an arbitrary normed space into a Hilbert space with countable basis.
Urysohn's pangunahing kontribusyon, bilang karagdagan sa mga teorya ng sukat ng tinalakay sa itaas, ay ang pagpapakilala at imbestigasyon ng isang klase ng normal na ibabaw, metrization theorems, at isang mahalagang pagkakaroon teorama tungkol sa paggawa ng mga mapa ng arbitrary normed space sa isang Hilbert space sa countable batayan.
Example taken from data source: ParaCrawl_v9 The above papers were all published under her maiden name of Mary Ellen Estill, but beginning with Countable paracompactness and Souslin's problem in 1955, she published under her married name of Mary Ellen Rudin.
Sa itaas lahat ng mga papeles ay nai-publish sa ilalim ng kanyang apelyido sa pagkadalaga ng Mary Ellen Estill, ngunit nagsisimula sa Countable paracompactness at Souslin ng problema sa 1955, siya nai-publish sa ilalim ng kanyang asawa ang pangalan ng Mary Ellen Rudin.
Example taken from data source: ParaCrawl_v9