Numbered notation: the simple consistency of a set theory based on the logic csqTime: 2026/3/25 上午9:49:36