Twierdzenie proste

implikacja uznawana za podstawową i wyjściową w danym kontekście

Twierdzenie proste – pojęcie używane w logice matematycznej, określane dla twierdzenia wyjściowego dla innego twierdzenia. Przykładowo, w twierdzeniu przeciwnym do wyjściowego, wyjściowe można nazwać prostym.