8458foundations of mathematicsPT0000-00-00 00:00:00BT11301mathematicsPTNT8453category theoryPTNT8474mathematical logicPTNT8469set theoryPT