We describe a KB Gödelian ontological system, and some other weak systems, in a fully formal way using theory of types and natural deduction, and present a completeness proof in its main and specific parts. We technically and philosophically analyze and comment on the systems (mainly with respect to the relativism of values) and include a sketch of some connected aspects of Gödel''s relation to Kant.Gödel - God-like - Kant - modal ultrafilter - ontological proof - positive property - relative consistency - type
展开▼