Hogyan lehetne megfogalmazni az "állítás" fogalmát a matematikában egyszerűen?

Olyan kijelentő mondat, amelynek egyértelmű a logikai értéke: IGAZ vagy HAMIS.

Mondhatjuk úgy, hogyobjektívan eldönthetők, nem pedig személyes vélemény szerint.

Pl. állítás: "A háromszögnek négy csúcsa van."

Ez ugye egyértelműen hamis, tehát állításnak állítás.

Viszont ezek nem állítások:

"Pisti magas srác."

"Ez egy jó zene."

"Bárcsak tarajos sül lennék!"

"Van a zsebedben egy atomtengeralattjáró?"

Mivel ezek nem dönthetők el egyértelműen, illetve nem kijelentő mondatok.

Speciális esetek a SEJTÉSEK.

Pl. a Goldbach-sejtésről nem tudjuk, hogy igaz vagy hamis. De egyértelműen VAN logikai értéke, csak még nem ismerjük.