面向实验的朴素公理集合论
逻辑
2008-07-29 v1
摘要
“朴素公理集合论”（NAM）的主要目标是找到一个或多或少足够明确的判据，能够精确形式化“正规集”的直观概念。NAM主要是一个构造过程，用于构建多个形式系统NAMix，每个系统都可能成为内涵性朴素集合论的恰当编码。（“i”是一个自然数，枚举所使用的“正规性”条件，“x”是一个字母，指向所用公理的变体。）与NAM并行，朴素公理类论NACT也被构建为一个系统之系统。
引用
@article{arxiv.0807.4327,
title = {Naive Axiomatic Mengenlehre for Experiments},
author = {Werner DePauli-Schimanovich},
journal= {arXiv preprint arXiv:0807.4327},
year = {2008}
}
备注
15 pages, no figures