فورمال ئاكسىئوما

ماتېماتىكا 形式公理学 xíng shì gōng lǐ xué