Tolong jelaskan mengenai Teorem dari Sistem formal dalam bahasa melayu

Teorem ialah perkataan t yang mana wujud bukti dengan Mr ≡ t. (Ini bermakna semua aksiom adalah teorem.)

Teorem di sini ialah suatu binaan sintaks semata-mata, yang membabitkan manipulasi simbol, dan tidak ada kena-mengena dengan 'kebenaran'nya.

Diberi suatu perkataan, bolehkah ia dibuktikan sebagai teorem atau dibuktikan sebagai bukan teorem (dalam bilangan langkah terhad)? Jika ini boleh dibuat oleh sesuatu sistem formal itu, maka ia dikatakan bolehputus, dan takbolehputus jika sebaliknya.