/
English

Interface language

Sign inCreate account
Public concept · 0c72d8f3-91f4-47be-9882-3cb726c08301

recursively axiomatizable

English

en

recursively axiomatizableUnrated

Chinese

zh

递归可公理化Unrated
遞迴可公理化Unrated