https://www.czech.wiki/wiki/Predikátová_logika_prvního_řádu