system aksjomatyczny Powiązane pojęcia Bogusław Wolniewicz ekwiwalencja znaczeniowa hermeneutyka logiczna inwersja ontologiczna krata zupełna logika modalna ontologia sytuacji przestrzeń logiczna redukcjonizm semantyczny semantyka Kripkego