Návrh nebo předložený projekt k uskutečnění či k projednání, tedy promyšlený úmysl a jeho rámcový program, někdy i s načrtnutým časovým uspořádáním jednotlivých kroků.
V logice a matematice označení pro formulované tvrzení, kterému lze přiřadit pravdivostní hodnotu, případně pro kratší dokázanou větu uváděnou jako součást výkladu nebo důkazu.