普通に自分用のプログラムを書くのであれば 、 Python か elisp。
　　　　　　　　　　　　　 Win アプリは C# か Java。
　　　　　　個人的に、 C++ など必要ない。 というか、生産性が低すぎて
　　　　　　　　　　　C++でプログラムをする気にはならない

____________
If T is consistent, T !|- G_T.
If T is ω-consistent, T !|- ¬G_T.