|
Related terms:
axioms
logic
proof
axiomatic
theorem
undecidable
compactness theorem
mathematical
mathematicians
mathematical logic
Wikipedia sources: Mathematical logic Theorem Model theory Mathematical proof Context for words: proof theory |
|