Słowo kluczowe: metafizyka sformalizowana