A、不完全性定理
B、有效性定理
C、可靠性定理
D、一致性定理
A、布劳威尔
B、哥德尔
C、希尔伯特
D、罗素
A、直觉主义
B、逻辑主义
C、理性主义
D、柏拉图主义