Open AccessREDUCTION OF AXIOM SYSTEMS WITH AXIOM SCHEMES TO SYSTEMS WITH ONLY SIMPLE AXIOMS
Author(s) -
Skolem Th.
Publication year - 1958
Publication title -
dialectica
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.483
H-Index - 27
eISSN - 1746-8361
pISSN - 0012-2017
DOI - 10.1111/j.1746-8361.1958.tb01474.x
Subject(s) - axiom , simple (philosophy) , reduction (mathematics) , zermelo–fraenkel set theory , citation , mathematical economics , computer science , axiom of choice , discrete mathematics , mathematics , set theory , epistemology , philosophy , programming language , set (abstract data type) , library science , geometry