Konstruktivismi (matematiikka) - Muut kielet