Type theory: an alternative to naive set theory in which all mathematical entities are assigned to a type within a hierarchy of types, so that objects of a given type are built exclusively from objects of preceding types lower in the hierarchy, thus preventing loops and paradoxes
👇 ស្វែងរកឯកសាររៀននិងការងារគ្រប់ប្រភេទនៅទីនេះ៖
👇 ស្វែងរកពាក្យផ្សេងទៀតនៅប្រអប់នេះ៖