1 - Představa o matematické výstavbě (MAT - Výroková logika)