Słownik szwedzko-polskisatsrzeczowniksats po polskutwierdzenie(matematyka, matematyczny) zdanie logiczne, będące elementem teorii matematycznej