Fylgisetning
Úr Wikipediu, frjálsa alfræðiritinu
Fylgisetning[1] eða fylgiregla er rökyrðing sem hægt er að sanna með því að nota aðra rökyrðingu sem hefur þegar verið sönnuð, en það er ekki óalgengt að þær fylgi setningum í stærðfræði.